On super strong ETH

DOI10.1007/978-3-030-24258-9_28zbMath1442.68068OpenAlexW2956161178MaRDI QIDQ2181948

R. Ryan Williams, Nikhil Vyas

Publication date: 20 May 2020

Full work available at URL: https://doi.org/10.1007/978-3-030-24258-9_28

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Computational aspects of satisfiability (68R07)

Related Items (2)

Super strong ETH is true for PPSZ with small resolution width ⋮ On Super Strong ETH

This page was built for publication: On super strong ETH