scientific article; zbMATH DE number 1405665
From MaRDI portal
Publication:4938646
zbMath0946.68061MaRDI QIDQ4938646
Rolf Niedermeier, Peter Rossmanith
Publication date: 17 October 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
MAX SAT approximation beyond the limits of polynomial-time approximation ⋮ A refined branching algorithm for the maximum satisfiability problem
This page was built for publication:
