Publication:4608607

DOI10.4230/LIPIcs.MFCS.2016.45zbMath1398.68193MaRDI QIDQ4608607

Suguru Tamaki, Alexander S. Kulikov, Alexander Golovnev, Alexander V. Smal

Publication date: 21 March 2018

zbMATH Keywords

lower bounds; satisfiability; circuit complexity; exponential time algorithms

Mathematics Subject Classification ID

68Q25: Analysis of algorithms and problem complexity

68Q17: Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.)