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