The following pages link to (Q4431379):
Displayed 7 items.
- New updating criteria for conflict-based branching heuristics in DPLL algorithms for satisfiability (Q937398) (← links)
- On threshold BDDs and the optimal variable ordering problem (Q1016038) (← links)
- Problem solving by searching for models with a theorem prover (Q1337680) (← links)
- Variable and term removal from Boolean formulae (Q1363769) (← links)
- A taxonomy of exact methods for partial Max-SAT (Q2434567) (← links)
- GridSAT: Design and implementation of a computational grid application (Q2505055) (← links)
- Exploiting data dependencies in many-valued logics (Q4868234) (← links)