Login / Signup
S. Baumer
Publication Activity (10 Years)
Years Active: 2001-2001
Publications (10 Years): 0
</>
Publications
</>
S. Baumer
,
Juan Luis Esteban
,
Jacobo Torán
Minimally Unsatisfiable CNF Formulas.
Bull. EATCS
74 (2001)