scientific article; zbMATH DE number 2080337
From MaRDI portal
Publication:4473057
zbMath1044.68781MaRDI QIDQ4473057
Publication date: 4 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/1894/18940537.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (8)
Propositional SAT Solving ⋮ Equivalent literal propagation in the DLL procedure ⋮ Effective use of Boolean satisfiability procedures in the formal verification of superscalar and VLIW microprocessors. ⋮ Efficient CNF Simplification Based on Binary Implication Graphs ⋮ Efficient data structures for backtrack search SAT solvers ⋮ The Boolean Constraint Solver of SWI-Prolog (System Description) ⋮ Clause vivification by unit propagation in CDCL SAT solvers ⋮ On conversions from CNF to ANF
Uses Software
This page was built for publication:
