scientific article
From MaRDI portal
Publication:3181640
zbMath1187.68254MaRDI QIDQ3181640
Publication date: 12 October 2009
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Analysis of algorithms and problem complexity (68Q25) 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)
Related Items (3)
Backdoors to Satisfaction ⋮ Backdoors into heterogeneous classes of SAT and CSP ⋮ Backdoors to tractable answer set programming
This page was built for publication:
