The following pages link to (Q4840102):
Displaying 9 items.
- A BDD SAT solver for satisfiability testing: An industrial case study (Q1380431) (← links)
- Approximating minimal unsatisfiable subformulae by means of adaptive core search (Q1408373) (← links)
- Optimizing with minimum satisfiability (Q1761303) (← links)
- A complete adaptive algorithm for propositional satisfiability (Q1811072) (← links)
- Black-box optimization in an extended search space for SAT solving (Q2181777) (← links)
- Algorithms for Solving Satisfiability Problems with Qualitative Preferences (Q2900530) (← links)
- (Q4539619) (← links)
- Improving Unsatisfiability-Based Algorithms for Boolean Optimization (Q4930588) (← links)
- A physical model for the satisfiability problem (Q6085758) (← links)