[Back]


Talks and Poster Presentations (with Proceedings-Entry):

B. Kiesl, A. Rebola Pardo, M. Heule:
"Extended Resolution Simulates DRAT";
Keynote Lecture: 9th International Joint Conference on Automated Reasoning (IJCAR) 2018, Oxford; 2018-08-14 - 2018-08-17; in: "Proceedings of the 9th International Joint Conference on Automated Reasoning (IJCAR) 2018", LNCS, 10900 (2018), ISBN: 978-3-319-94204-9; 516 - 531.



"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-319-94205-6_34


Created from the Publication Database of the Vienna University of Technology.