scientific article; zbMATH DE number 1759450
From MaRDI portal
Publication:4536400
zbMath0996.68187MaRDI QIDQ4536400
Heribert Vollmer, Steffen Reith
Publication date: 25 June 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Analysis of algorithms and problem complexity (68Q25) Mechanization of proofs and logical operations (03B35) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Classical propositional logic (03B05)
Related Items
The complexity of minimal satisfiability problems ⋮ The complexity of Boolean constraint satisfaction local search problems