A fast parallel sat-solver -efficient workload balancing
収録刊行物
-
- Annals of Mathematics and Artificial Intelligence
-
Annals of Mathematics and Artificial Intelligence 17 (3), 381-400, 1996