Browsing Computer Science by Subject "SAT Solvers"
Now showing items 1-2 of 2
-
Efficient Reasoning Techniques for Large Scale Feature Models
(University of Waterloo, 2009-01-20)In Software Product Lines (SPLs), a feature model can be used to represent the similarities and differences within a family of software systems. This allows describing the systems derived from the product line as a unique ... -
Understanding and Enhancing CDCL-based SAT Solvers
(University of Waterloo, 2018-08-02)Modern conflict-driven clause-learning (CDCL) Boolean satisfiability (SAT) solvers routinely solve formulas from industrial domains with millions of variables and clauses, despite the Boolean satisfiability problem being ...