Theory and Applications of Satisfiability Testing
From MaRDI portal
Publication:5714775
DOI10.1007/11527695zbMath1122.68591OpenAlexW2483910514MaRDI QIDQ5714775
Evgeny Dantsin, Alexander Wolpert
Publication date: 16 December 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11527695
Related Items (3)
An improved upper bound for SAT ⋮ An algorithm for exact satisfiability analysed with the number of clauses as parameter ⋮ On converting CNF to DNF
This page was built for publication: Theory and Applications of Satisfiability Testing