Expansion-Based QBF Solving Without Recursion

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

LanguageEnglish
Title of host publicationfmcad.18
Subtitle of host publicationProceedings of the 18th Conference on Formal Methods in Computer-Aided Design (FMCAD 2018)
EditorsNikolaj Bjørner , Arie Gurfinkel
Pages40-49
ISBN (Electronic) 978-0-9835678-8-2
StatusPublished - 2018
Event18th Conference on Formal Methods in Computer-Aided Design - Austin, United States
Duration: 30 Oct 20182 Nov 2018
Conference number: 18

Conference

Conference18th Conference on Formal Methods in Computer-Aided Design
Abbreviated titleFMCAD 2018
CountryUnited States
CityAustin
Period30/10/182/11/18

Cite this

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 (Eds.), fmcad.18: Proceedings of the 18th Conference on Formal Methods in Computer-Aided Design (FMCAD 2018) (pp. 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). ed. / Nikolaj Bjørner ; Arie Gurfinkel. 2018. p. 40-49.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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 (eds), fmcad.18: Proceedings of the 18th Conference on Formal Methods in Computer-Aided Design (FMCAD 2018). pp. 40-49, 18th Conference on Formal Methods in Computer-Aided Design, Austin, United States, 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, editors, fmcad.18: Proceedings of the 18th Conference on Formal Methods in Computer-Aided Design (FMCAD 2018). 2018. p. 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). editor / Nikolaj Bjørner ; Arie Gurfinkel. 2018. pp. 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

ER -