Sciweavers

CAV
2008
Springer
121views Hardware» more  CAV 2008»
14 years 2 months ago
The Barcelogic SMT Solver
This is the first system description of the Barcelogic SMT solver, which implements all techniques that our group has been developing over the last four years as well as state-of-t...
Miquel Bofill, Robert Nieuwenhuis, Albert Oliveras...