Publication:2743691
From MaRDI portal
zbMath1018.68075MaRDI QIDQ2743691
Sven Baumer, Juan Luis Esteban, Jacobo Toran
Publication date: 14 September 2003
Related Items
Irreducible subcube partitions, On Minimal Unsatisfiability and Time-Space Trade-offs for k-DNF Resolution