Publication:3506043

From MaRDI portal

Revision as of 00:00, 5 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to:navigation, search

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3506043&oldid=16860695"