Sciweavers

DATE
2000
IEEE
114views Hardware» more  DATE 2000»

On Using Satisfiability-Based Pruning Techniques in Covering Algorithms

16 years 10 days ago
On Using Satisfiability-Based Pruning Techniques in Covering Algorithms
Vasco M. Manquinho, João P. Marques Silva
Added 30 Jul 2010
Updated 30 Jul 2010
Type Conference
Year 2000
Where DATE
Authors Vasco M. Manquinho, João P. Marques Silva
Comments (0)