Expansion-Based QBF Solving Without Recursion

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

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

Original language	English
Title of host publication	Proceedings of the 18th Conference on Formal Methods in Computer Aided Design
Editors	Nikolaj Bjørner and Arie Gurfinkel
Number of pages	11
Publication status	Published - 2018

Fields of science

@inproceedings{917a75ed10984820bdfd896593adc602,

title = "Expansion-Based QBF Solving Without Recursion",

author = "Roderick Bloem and Nicolas Braud-Santon and Uwe Egly and Vedad Hadzic and Florian Lonsing and Martina Seidl",

year = "2018",

language = "English",

isbn = "78-0-9835678-8-2",

editor = "{Nikolaj Bj{\o}rner and Arie Gurfinkel}",

booktitle = "Proceedings of the 18th Conference on Formal Methods in Computer Aided Design",

}

TY - GEN

T1 - Expansion-Based QBF Solving Without Recursion

AU - Bloem, Roderick

AU - Braud-Santon, Nicolas

AU - Egly, Uwe

AU - Hadzic, Vedad

AU - Lonsing, Florian

AU - Seidl, Martina

PY - 2018

Y1 - 2018

M3 - Conference proceedings

SN - 78-0-9835678-8-2

BT - Proceedings of the 18th Conference on Formal Methods in Computer Aided Design

A2 - Nikolaj Bjørner and Arie Gurfinkel, null

ER -