Matched Formulas and Backdoor Sets
From MaRDI portal
Publication:3612458
DOI10.1007/978-3-540-72788-0_12zbMath1187.68253MaRDI QIDQ3612458
Publication date: 10 March 2009
Published in: Theory and Applications of Satisfiability Testing – SAT 2007 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-72788-0_12
68Q25: Analysis of algorithms and problem complexity
68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
68Q17: Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.)
Related Items
Backdoor sets of quantified Boolean formulas, Martin Davis’s Bibliography 1950–2015, Computation of Renameable Horn Backdoors, A New Bound for an NP-Hard Subclass of 3-SAT Using Backdoors