scientific article
From MaRDI portal
Publication:2741519
zbMath0990.90549MaRDI QIDQ2741519
Laurent Simon, Philippe Chatalic
Publication date: 24 September 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (4)
Unnamed Item ⋮ Equivalent literal propagation in the DLL procedure ⋮ UnitWalk: A new SAT solver that uses local search guided by unit clause elimination ⋮ SatEx
Uses Software
Cites Work
- Local search algorithms for SAT: an empirical evaluation
- A constraint-based approach to narrow search trees for satisfiability
- The propositional formula checker HeerHugo
- Resolution versus search: Two strategies for SAT
- Needed: An Empirical Science of Algorithms
- Knowledge compilation and theory approximation
- GRASP: a search algorithm for propositional satisfiability
- A Computing Procedure for Quantification Theory
- A machine program for theorem-proving
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication:
