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.