Sciweavers

COCO
2000
Springer

An Application of Matroid Theory to the SAT Problem

13 years 10 months ago
An Application of Matroid Theory to the SAT Problem
Oliver Kullmann
Added 02 Aug 2010
Updated 02 Aug 2010
Type Conference
Year 2000
Where COCO
Authors Oliver Kullmann
Comments (0)