Publication:5501251

From MaRDI portal
Revision as of 04:08, 7 March 2024 by Import240305080351 (talk | contribs) (Created automatically from import240305080351)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)


zbMath1317.68060MaRDI QIDQ5501251

No author found.

Publication date: 3 August 2015



Mathematics Subject Classification ID

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



Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5501251&oldid=30063943"
Powered by MediaWiki