Expansion-Based QBF Solving Without Recursion

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

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

Originalsprache	englisch
Titel	fmcad.18
Untertitel	Proceedings of the 18th Conference on Formal Methods in Computer-Aided Design (FMCAD 2018)
Redakteure/-innen	Nikolaj Bjørner , Arie Gurfinkel
Seiten	40-49
ISBN (elektronisch)	978-0-9835678-8-2
Publikationsstatus	Veröffentlicht - 2018
Veranstaltung	18th Conference on Formal Methods in Computer-Aided Design - Austin, USA / Vereinigte Staaten Dauer: 30 Okt. 2018 → 2 Nov. 2018 Konferenznummer: 18

Konferenz	18th Conference on Formal Methods in Computer-Aided Design
Kurztitel	FMCAD 2018
Land/Gebiet	USA / Vereinigte Staaten
Ort	Austin
Zeitraum	30/10/18 → 2/11/18

Zugriff auf Dokument

Expansion-Based QBF Solving Without Recursion. / Bloem, Roderick; Braud-Santoni, Nicolas; Hadzic, Vedad et al.
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/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

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, 18th Conference on Formal Methods in Computer-Aided Design, Austin, Texas, USA / Vereinigte Staaten, 30/10/18. <https://www.cs.utexas.edu/users/hunt/FMCAD/FMCAD18/fmcad2018_proceedings.pdf>

@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",

note = "18th Conference on Formal Methods in Computer-Aided Design, FMCAD 2018 ; Conference date: 30-10-2018 Through 02-11-2018",

}

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

N1 - Conference code: 18

PY - 2018

Y1 - 2018

M3 - Conference paper

SP - 40

EP - 49

BT - fmcad.18

A2 - Bjørner , Nikolaj

A2 - Gurfinkel, Arie

T2 - 18th Conference on Formal Methods in Computer-Aided Design

Y2 - 30 October 2018 through 2 November 2018

ER -