The following pages link to SAT Modulo Graphs: Acyclicity (Q2938490):
Displaying 8 items.
- Combining SAT solvers with computer algebra systems to verify combinatorial conjectures (Q2360872) (← links)
- Efficient computation of answer sets via SAT modulo acyclicity and vertex elimination (Q2694569) (← links)
- Space-Efficient Planar Acyclicity Constraints (Q2798264) (← links)
- Writing Declarative Specifications for Clauses (Q2835876) (← links)
- Answer Set Programming Modulo Acyclicity (Q3449199) (← links)
- The Design of the Sixth Answer Set Programming Competition (Q3449235) (← links)
- MathCheck: A Math Assistant via a Combination of Computer Algebra Systems and SAT Solvers (Q3454125) (← links)
- On relation between constraint answer set programming and satisfiability modulo theories (Q4593096) (← links)
