The Barcelogic SMT Solver.

Miquel Bofill, Robert Nieuwenhuis, Albert Oliveras, Enric Rodrguez-Carbonell, Albert Rubio

Browse the full CAV paper archive.