Talks and Poster Presentations (with Proceedings-Entry):
F. Lonsing, U. Egly:
"QRATPre+: Effective QBF Preprocessing via Strong Redundancy Properties";
Talk: SAT 2019 - The 22nd International Conference on Theory and Applications of Satisfiability Testing,
- 2019-07-12; in: "Proceedings of the 22nd International Conference on Theory and Applications of Satisfiability Testing",
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
Electronic version of the publication:
Created from the Publication Database of the Vienna University of Technology.