"An Algorithm for Approximating the Satisfiability Problem of High-level ..."

Karl-Heinz Pennemann (2008)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics