scientific article; zbMATH DE number 5485584
From MaRDI portal
Publication:5302095
zbMath1231.68243MaRDI QIDQ5302095
Jakob Nordström, Johan T. Håstad
Publication date: 5 January 2009
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Learning and adaptive systems in artificial intelligence (68T05) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)
Related Items
An Introduction to Lower Bounds on Resolution Proof Systems, On Minimal Unsatisfiability and Time-Space Trade-offs for k-DNF Resolution, The complexity of the Hajós calculus for planar graphs, A simplified way of proving trade-off results for resolution, Time-Space Trade-offs in Resolution: Superpolynomial Lower Bounds for Superlinear Space
