[Back]


Talks and Poster Presentations (with Proceedings-Entry):

B. Gleiss, M. Suda:
"Layered Clause Selection for Saturation-Based Theorem Proving";
Talk: Joint Proceedings of the 7th Workshop on Practical Aspects of Automated Reasoning (PAAR) and the 5th Satisfiability Checking and Symbolic Computation Workshop (SC-Square) Workshop, Paris; 2020-06-30 - 2020-07-01; in: "Joint Proceedings of the 7th Workshop on Practical Aspects of Automated Reasoning (PAAR) and the 5th Satisfiability Checking and Symbolic Computation Workshop (SC-Square) Workshop", P. Fontaine, K. Korovin, I. Kotsireas et al. (ed.); CEUR Workshop Proceedings, 2752 (2020), 34 - 52.



Electronic version of the publication:
https://publik.tuwien.ac.at/files/publik_293898.pdf


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