Existential Quantification as Incremental SAT

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

Bookmark the permalink.