Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
F. Lonsing, U. Egly:
"QRATPre+: Effective QBF Preprocessing via Strong Redundancy Properties";
Vortrag: SAT 2019 - The 22nd International Conference on Theory and Applications of Satisfiability Testing,
Lissabon;
07.07.2019
- 12.07.2019; in: "Proceedings of the 22nd International Conference on Theory and Applications of Satisfiability Testing",
LNCS,
11628
(2019),
ISBN: 978-3-030-24258-9;
S. 203
- 210.
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-030-24258-9_14
Elektronische Version der Publikation:
https://link.springer.com/content/pdf/10.1007%2F978-3-030-24258-9_14.pdf
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.