62 search results - page 13 / 13 » A Complete Multi-valued SAT Solver |
IJFCS
2006
13 years 4 months ago
2006
For successful software verification, model checkers must be capable of handling a large number of program variables. Traditional, BDD-based model checking is deficient in this re...
ICCAD
2009
IEEE
13 years 2 months ago
2009
IEEE
Computational protein design can be formulated as an optimization problem, where the objective is to identify the sequence of amino acids that minimizes the energy of a given prot...