Publication:5501251
From MaRDI portal
zbMath1317.68060MaRDI QIDQ5501251
No author found.
Publication date: 3 August 2015
68Q25: Analysis of algorithms and problem complexity
68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
Related Items
Exponential lower bounds for the running time of DPLL algorithms on satisfiable formulas, Limitations of restricted branching in clause learning