The following pages link to (Q4475671):
Displaying 5 items.
- Heuristic-based backtracking relaxation for propositional satisfiability (Q862398) (← links)
- Worst-case study of local search for MAX-\(k\)-SAT. (Q1408379) (← links)
- Effective use of Boolean satisfiability procedures in the formal verification of superscalar and VLIW microprocessors. (Q1426130) (← links)
- Exploiting relaxation in local search for LABS (Q2468767) (← links)
- The Relation Between Complete and Incomplete Search (Q2950519) (← links)