Parallel multithreaded satisfiability solver : Design and implementation
収録刊行物
-
- Electronic Notes in Theoretical Computer Science
-
Electronic Notes in Theoretical Computer Science 128 75-90, 2005