An extensible sat-solver
収録刊行物
-
- Lecture notes in computer science
-
Lecture notes in computer science 2919 502-518, 2004
Lecture notes in computer science 2919 502-518, 2004