scientific article

zbMath0990.90534MaRDI QIDQ2741518

Allen van Gelder

Publication date: 24 September 2001

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

backtracking-search satisfiability algorithmlinear-time decision procedure

Mathematics Subject Classification ID

Search theory (90B40) Combinatorial optimization (90C27)

Related Items (2)

On Davis-Putnam reductions for minimally unsatisfiable clause-sets ⋮ Extending Clause Learning of SAT Solvers with Boolean Gröbner Bases

Uses Software

• SATO
• DIMACS

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Eliminating dublication with the hyper-linking strategy
• An efficient algorithm for the 3-satisfiability problem
• Search algorithms in type theory
• Lemma and cut strategies for propositional model elimination
• A Computing Procedure for Quantification Theory
• A machine program for theorem-proving

This page was built for publication: