11 search results - page 3 / 3 » Comparison of Metabolic Pathways using Constraint Graph Draw... |
JSAT
2006
13 years 5 months ago
2006
This paper introduces a new hybrid method for efficiently integrating Pseudo-Boolean (PB) constraints into generic SAT solvers in order to solve PB satisfiability and optimization...