PaSAT. Parallel SAT-checking with lemma exchange : Implementation and applications
収録刊行物
-
- LICS 2001 Workshop on Theory and Applications of Satisfiability Testing
-
LICS 2001 Workshop on Theory and Applications of Satisfiability Testing 2001