Publication:4938646
From MaRDI portal
zbMath0946.68061MaRDI QIDQ4938646
Rolf Niedermeier, Peter Rossmanith
Publication date: 17 October 2000
68Q25: Analysis of algorithms and problem complexity
Related Items
MAX SAT approximation beyond the limits of polynomial-time approximation, A refined branching algorithm for the maximum satisfiability problem