scientific article
From MaRDI portal
Publication:2743691
zbMath1018.68075MaRDI QIDQ2743691
Sven Baumer, Juan Luis Esteban, Jacobo Toran
Publication date: 14 September 2003
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
Irreducible subcube partitions ⋮ On Minimal Unsatisfiability and Time-Space Trade-offs for k-DNF Resolution
This page was built for publication: