Talks and Poster Presentations (with Proceedings-Entry):
B. Gleiss, M. Suda:
"Layered Clause Selection for Theory Reasoning (Short Paper)";
Talk: 10th International Joint Conference on Automated Reasoning (IJCAR),
Paris;
2020-07-01
- 2020-07-04; in: "Proceedings of the 10th International Joint Conference on Automated Reasoning (IJCAR)",
N. Peltier, V. Sofronie-Stokkermans (ed.);
Lecture Notes in Computer Science, Springer,
12166
(2020),
ISBN: 978-3-030-51073-2;
402
- 409.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-030-51074-9_23
Electronic version of the publication:
https://publik.tuwien.ac.at/files/publik_293897.pdf
Created from the Publication Database of the Vienna University of Technology.