Give Me Another One!
From MaRDI portal
Publication:3459903
DOI10.1007/978-3-662-48971-0_56zbMath1472.68065OpenAlexW2401997748MaRDI QIDQ3459903
Miki Hermann, Mike Behrisch, Stefan Mengel, Gernot Salzer
Publication date: 11 January 2016
Published in: Algorithms and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-662-48971-0_56
Analysis of algorithms and problem complexity (68Q25) Nonnumerical algorithms (68W05) Classical propositional logic (03B05) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17)
Related Items
Unnamed Item ⋮ The Next Whisky Bar ⋮ As Close as It Gets ⋮ Minimal distance of propositional models ⋮ Time Complexity of Constraint Satisfaction via Universal Algebra