Pages that link to "Item:Q5714769"
From MaRDI portal
The following pages link to Theory and Applications of Satisfiability Testing (Q5714769):
Displayed 11 items.
- Zchaff2004 (Q13776) (← links)
- zChaff (Q16925) (← links)
- Solving weighted CSPs with meta-constraints by reformulation into satisfiability modulo theories (Q487655) (← links)
- Algorithm runtime prediction: methods \& evaluation (Q490455) (← links)
- Efficient branch-and-bound algorithms for weighted MAX-2-SAT (Q535012) (← links)
- On the power of clause-learning SAT solvers as resolution engines (Q543613) (← links)
- Nonrealizable minimal vertex triangulations of surfaces: showing nonrealizability using oriented matroids and satisfiability solvers (Q848679) (← links)
- Topological configurations \((n_4)\) exist for all \(n\geq 17\) (Q1041596) (← links)
- The incremental satisfiability problem for a two conjunctive normal form (Q1744433) (← links)
- On Using Incremental Encodings in Unsatisfiability-based MaxSAT Solving (Q5015594) (← links)
- Present and Future of Practical SAT Solving (Q5504707) (← links)