The following pages link to (Q4375765):
Displaying 4 items.
- A weight-balanced branching rule for SAT (Q597527) (← links)
- How good are branching rules in DPLL? (Q1281405) (← links)
- Backtracking tactics in the backtrack method for SAT (Q1596804) (← links)
- A cost-reducing question-selection algorithm for propositional knowledge-based systems (Q1776198) (← links)