Sciweavers

SAT
2007
Springer

Effective Incorporation of Double Look-Ahead Procedures

14 years 5 months ago
Effective Incorporation of Double Look-Ahead Procedures
Marijn Heule, Hans van Maaren
Added 09 Jun 2010
Updated 09 Jun 2010
Type Conference
Year 2007
Where SAT
Authors Marijn Heule, Hans van Maaren
Comments (0)