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 KonferenzbandForschungBegutachtung

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

Dies zitieren

Bloem, R., Braud-Santoni, N., Hadzic, V., Egly, U., Lonsing, F., & Seidl, M. (2018). Expansion-Based QBF Solving Without Recursion. in N. Bjørner , & A. Gurfinkel (Hrsg.), fmcad.18: Proceedings of the 18th Conference on Formal Methods in Computer-Aided Design (FMCAD 2018) (S. 40-49)

Expansion-Based QBF Solving Without Recursion. / Bloem, Roderick; Braud-Santoni, Nicolas; Hadzic, Vedad; Egly, Uwe; Lonsing, Florian; Seidl, Martina.

fmcad.18: Proceedings of the 18th Conference on Formal Methods in Computer-Aided Design (FMCAD 2018). Hrsg. / Nikolaj Bjørner ; Arie Gurfinkel. 2018. S. 40-49.

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

Bloem, R, Braud-Santoni, N, Hadzic, V, Egly, U, Lonsing, F & Seidl, M 2018, Expansion-Based QBF Solving Without Recursion. in N Bjørner & A Gurfinkel (Hrsg.), fmcad.18: Proceedings of the 18th Conference on Formal Methods in Computer-Aided Design (FMCAD 2018). S. 40-49, Austin, USA / Vereinigte Staaten, 30/10/18.
Bloem R, Braud-Santoni N, Hadzic V, Egly U, Lonsing F, Seidl M. Expansion-Based QBF Solving Without Recursion. in Bjørner N, Gurfinkel A, Hrsg., fmcad.18: Proceedings of the 18th Conference on Formal Methods in Computer-Aided Design (FMCAD 2018). 2018. S. 40-49
Bloem, Roderick ; Braud-Santoni, Nicolas ; Hadzic, Vedad ; Egly, Uwe ; Lonsing, Florian ; Seidl, Martina. / Expansion-Based QBF Solving Without Recursion. fmcad.18: Proceedings of the 18th Conference on Formal Methods in Computer-Aided Design (FMCAD 2018). Hrsg. / Nikolaj Bjørner ; Arie Gurfinkel. 2018. S. 40-49
@inproceedings{fcdef856c8284588959628f84a5d879b,
title = "Expansion-Based QBF Solving Without Recursion",
author = "Roderick Bloem and Nicolas Braud-Santoni and Vedad Hadzic and Uwe Egly and Florian Lonsing and Martina Seidl",
year = "2018",
language = "English",
pages = "40--49",
editor = "{Bj{\o}rner }, {Nikolaj } and Gurfinkel, {Arie }",
booktitle = "fmcad.18",

}

TY - GEN

T1 - Expansion-Based QBF Solving Without Recursion

AU - Bloem, Roderick

AU - Braud-Santoni, Nicolas

AU - Hadzic, Vedad

AU - Egly, Uwe

AU - Lonsing, Florian

AU - Seidl, Martina

PY - 2018

Y1 - 2018

M3 - Conference contribution

SP - 40

EP - 49

BT - fmcad.18

A2 - Bjørner , Nikolaj

A2 - Gurfinkel, Arie

ER -