scientific article; zbMATH DE number 1405801
From MaRDI portal
Publication:4938786
zbMath0943.68082MaRDI QIDQ4938786
Publication date: 23 February 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
Algorithms for four variants of the exact satisfiability problem ⋮ Exact 3-satisfiability is decidable in time \(O(2^{0.16254 n})\)
This page was built for publication:
