Publication:3506043

zbMath1145.68434MaRDI QIDQ3506043

Hans Kleine Büning, Zhao, Xishun

Publication date: 11 June 2008

zbMATH Keywords

deficiency; cohesion; QBF; minimal unsatisfiability; minimal falsity

Mathematics Subject Classification ID

68Q25: Analysis of algorithms and problem complexity

68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)

03B05: Classical propositional logic