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 }, }