Sciweavers

IWPEC
2004
Springer

On Finding Short Resolution Refutations and Small Unsatisfiable Subsets

14 years 4 months ago
On Finding Short Resolution Refutations and Small Unsatisfiable Subsets
Michael R. Fellows, Stefan Szeider, Graham Wrights
Added 02 Jul 2010
Updated 02 Jul 2010
Type Conference
Year 2004
Where IWPEC
Authors Michael R. Fellows, Stefan Szeider, Graham Wrightson
Comments (0)