Works by or with Joao Marques-Silva in the bibliography:Practical applications of Boolean Satisfiability (2008)