"Taking Satisfiability to the Next Level with Z3 - (Abstract)."

Nikolaj Bjørner (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics