Sciweavers

CORR
2010
Springer

Covered Clause Elimination

14 years 16 days ago
Covered Clause Elimination
traction for Size-Change Termination
Marijn Heule, Matti Järvisalo, Armin Biere
Added 09 Dec 2010
Updated 09 Dec 2010
Type Journal
Year 2010
Where CORR
Authors Marijn Heule, Matti Järvisalo, Armin Biere
Comments (0)