scientific article; zbMATH DE number 1303594
From MaRDI portal
Publication:4250220
zbMath0936.68113MaRDI QIDQ4250220
Publication date: 18 May 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (11)
An improved upper bound for SAT ⋮ Matching Triangles and Basing Hardness on an Extremely Popular Conjecture ⋮ Local search algorithms for SAT: Worst-case analysis ⋮ An Improved SAT Algorithm in Terms of Formula Length ⋮ Further improvements for SAT in terms of formula length ⋮ New methods for 3-SAT decision and worst-case analysis ⋮ Separating signs in the propositional satisfiability problem ⋮ Toward Tight Approximation Bounds for Graph Diameter and Eccentricities ⋮ Faster exact solutions for some NP-hard problems. ⋮ Which problems have strongly exponential complexity? ⋮ A fast algorithm for SAT in terms of formula length
This page was built for publication:
