Faster, Higher, Stronger: E 2.3

Stephan Schulz, Simon Cruanes, Petar Vukmirovic

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Original languageEnglish
Title of host publicationAutomated Deduction - CADE 27 - 27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings
Pages495-507
Number of pages13
DOIs
Publication statusPublished - 2019

Cite this

Schulz, S., Cruanes, S., & Vukmirovic, P. (2019). Faster, Higher, Stronger: E 2.3. In Automated Deduction - CADE 27 - 27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings (pp. 495-507) https://doi.org/10.1007/978-3-030-29436-629
Schulz, Stephan ; Cruanes, Simon ; Vukmirovic, Petar. / Faster, Higher, Stronger: E 2.3. Automated Deduction - CADE 27 - 27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings. 2019. pp. 495-507
@inproceedings{2554365ae995415ebd4b92c8be8639c2,
title = "Faster, Higher, Stronger: E 2.3",
author = "Stephan Schulz and Simon Cruanes and Petar Vukmirovic",
year = "2019",
doi = "10.1007/978-3-030-29436-629",
language = "English",
pages = "495--507",
booktitle = "Automated Deduction - CADE 27 - 27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings",

}

Schulz, S, Cruanes, S & Vukmirovic, P 2019, Faster, Higher, Stronger: E 2.3. in Automated Deduction - CADE 27 - 27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings. pp. 495-507. https://doi.org/10.1007/978-3-030-29436-629

Faster, Higher, Stronger: E 2.3. / Schulz, Stephan; Cruanes, Simon; Vukmirovic, Petar.

Automated Deduction - CADE 27 - 27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings. 2019. p. 495-507.

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

TY - GEN

T1 - Faster, Higher, Stronger: E 2.3

AU - Schulz, Stephan

AU - Cruanes, Simon

AU - Vukmirovic, Petar

PY - 2019

Y1 - 2019

U2 - 10.1007/978-3-030-29436-629

DO - 10.1007/978-3-030-29436-629

M3 - Conference contribution

SP - 495

EP - 507

BT - Automated Deduction - CADE 27 - 27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings

ER -

Schulz S, Cruanes S, Vukmirovic P. Faster, Higher, Stronger: E 2.3. In Automated Deduction - CADE 27 - 27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings. 2019. p. 495-507 https://doi.org/10.1007/978-3-030-29436-629