The following pages link to (Q5687274):
Displayed 14 items.
- A parallelization scheme based on work stealing for a class of SAT solvers (Q812442) (← links)
- How good are branching rules in DPLL? (Q1281405) (← links)
- Approximating minimal unsatisfiable subformulae by means of adaptive core search (Q1408373) (← links)
- Equivalent literal propagation in the DLL procedure (Q1408382) (← links)
- On the limit of branching rules for hard random unsatisfiable 3-SAT (Q1408384) (← links)
- Efficient data structures for backtrack search SAT solvers (Q1777399) (← links)
- Toward leaner binary-clause reasoning in a satisfiability solver (Q1777406) (← links)
- A complete adaptive algorithm for propositional satisfiability (Q1811072) (← links)
- Solving satisfiability problems using elliptic approximations -- effective branching rules (Q1841892) (← links)
- Partitioning methods for satisfiability testing on large formulas (Q1854377) (← links)
- A perspective on certain polynomial-time solvable classes of satisfiability (Q1861558) (← links)
- New methods for 3-SAT decision and worst-case analysis (Q1960406) (← links)
- Another look at graph coloring via propositional satisfiability (Q2467359) (← links)
- (Q2741518) (← links)