scientific article
From MaRDI portal
Publication:3507036
zbMath1148.68474MaRDI QIDQ3507036
Publication date: 18 June 2008
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Nonnumerical algorithms (68W05) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)
Related Items (6)
Derandomizing the HSSW algorithm for 3-SAT ⋮ A randomized algorithm for 3-SAT ⋮ On the exact complexity of evaluating quantified \(k\)-\textsc{cnf} ⋮ An exact algorithm for the Boolean connectivity problem for \(k\)-CNF ⋮ On the Exact Complexity of Evaluating Quantified k-CNF ⋮ Guided Search and a Faster Deterministic Algorithm for 3-SAT
This page was built for publication:
