by Jörg Brauer, Andy King, Jael Kriener
Reference:
Existential Quantification as Incremental SAT (Jörg Brauer, Andy King, Jael Kriener), In Computer Aided Verification (CAV 2011) (Ganesh Gopalakrishnan, Shaz Qadeer, eds.), Springer, volume 6806, 2011.
Bibtex Entry:
@inproceedings { BKK11a,
author = { Brauer, J{"o}rg and King, Andy and Kriener, Jael },
title = { Existential Quantification as Incremental SAT },
booktitle = { Computer Aided Verification (CAV 2011) },
pages = { 191-207 },
volume = { 6806 },
series = { Lecture Notes in Computer Science },
editor = { Gopalakrishnan, Ganesh and Qadeer, Shaz },
publisher = { Springer },
issn = { 0302-9743 },
isbn = { 978-3-642-22110-1 },
i11key = { conference },
timestamp = { 2011.03.22 },
year = { 2011 },
url = { http://www.embedded.rwth-aachen.de/lib/exe/fetch.php?media=bib:bkk11a.pdf },
language = { eng },
publishedas = { Druck Online },
i11projectkey = { Arcade },
for_reporting_period = { 2011 },
}