Theory and Applications of Satisfiability Testing
From MaRDI portal
Publication:5714775
DOI10.1007/11527695zbMath1122.68591MaRDI 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
68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
Related Items
An improved upper bound for SAT, An algorithm for exact satisfiability analysed with the number of clauses as parameter, On converting CNF to DNF