Expansion-Based QBF Solving Without Recursion

Roderick Bloem, Nicolas Braud-Santoni, Vedad Hadzic, Uwe Egly, Florian Lonsing, Martina Seidl

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem Konferenzband

Originalspracheenglisch
Titelfmcad.18
UntertitelProceedings of the 18th Conference on Formal Methods in Computer-Aided Design (FMCAD 2018)
Redakteure/-innenNikolaj Bjørner , Arie Gurfinkel
Seiten40-49
ISBN (elektronisch) 978-0-9835678-8-2
PublikationsstatusVeröffentlicht - 2018
Veranstaltung18th Conference on Formal Methods in Computer-Aided Design - Austin, USA / Vereinigte Staaten
Dauer: 30 Okt 20182 Nov 2018
Konferenznummer: 18

Konferenz

Konferenz18th Conference on Formal Methods in Computer-Aided Design
KurztitelFMCAD 2018
LandUSA / Vereinigte Staaten
OrtAustin
Zeitraum30/10/182/11/18

Dieses zitieren