"Satisfiability Modulo Theories: An Efficient Approach for the ..."

Carlos Ansótegui et al. (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics