scientific article
From MaRDI portal
Publication:2749864
zbMath0979.03012MaRDI QIDQ2749864
Mark E. Stickel, Han-Tao Zhang
Publication date: 21 November 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
propositional logicsatisfiability problemquasigrouppropositional clausestrie data structureDavis-Putnam method
Loops, quasigroups (20N05) Mechanization of proofs and logical operations (03B35) Classical propositional logic (03B05) Software, source code, etc. for problems pertaining to group theory (20-04)
Related Items (3)
New updating criteria for conflict-based branching heuristics in DPLL algorithms for satisfiability ⋮ On SAT instance classes and a method for reliable performance experiments with SAT solvers ⋮ Efficient data structures for backtrack search SAT solvers
This page was built for publication:
