The following pages link to SAT-Based Formula Simplification (Q3453233):
Displaying 4 items.
- Minimal sets on propositional formulae. Problems and reductions (Q1677431) (← links)
- On simplification of formulas with unconstrained variables and quantifiers (Q1680265) (← links)
- Optimal symmetry breaking for graph problems (Q2009225) (← links)
- Theory and Applications of Satisfiability Testing (Q5713747) (← links)