Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
R. Bloem, N. Braud-Santoni, V. Hadzic, U. Egly, F. Lonsing, M. Seidl:
"Expansion-Based QBF Solving Without Recursion";
Vortrag: International Conference on Formal Methods in Computer-Aided Design (FMCAD),
Austin, TX, USA;
30.10.2018
- 02.11.2018; in: "2018 Formal Methods in Computer Aided Design, FMCAD 2018, Austin, TX, USA, October 30 - November 2, 2018",
IEEE,
(2018),
S. 1
- 10.
Kurzfassung englisch:
In recent years, expansion-based techniques have been shown to be very powerful in theory and practice for solving quantified Boolean formulas (QBF), the extension of propositional formulas with existential and universal quantifiers over Boolean variables. Such approaches partially expand one type of variable (either existential or universal) and pass the obtained formula to a SAT solver for deciding the QBF. State-of-the-art expansion-based solvers process the given formula quantifier-block wise and recursively apply expansion until a solution is found.
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.23919/FMCAD.2018.8603004
Elektronische Version der Publikation:
https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=8603004
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.