by Jörg Brauer, Andy King
Reference:
Approximate Quantifier Elimination for Propositional Boolean Formulae (Jörg Brauer, Andy King), In NASA Formal Methods Symposium (NFM 2011), Springer, volume 6617, 2011.
Bibtex Entry:
@inproceedings { BK11b, author = { Brauer, J{"o}rg and King, Andy }, title = { Approximate Quantifier Elimination for Propositional Boolean Formulae }, booktitle = { NASA Formal Methods Symposium (NFM 2011) }, i11key = { conference }, publisher = { Springer }, series = { Lecture Notes in Computer Science }, isbn = { 978-3-642-20397-8 }, pages = { 73--88 }, volume = { 6617 }, year = { 2011 }, timestamp = { 2011.03.04 }, publishedas = { Druck Online }, language = { eng }, url = { http://www.embedded.rwth-aachen.de/lib/exe/fetch.php?media=bib:bk11b.pdf }, i11projectkey = { Arcade }, for_reporting_period = { 2011 }, }