A complete multi-valued SAT solver
収録刊行物
-
- Proc. 16th International Conference on Principles and Practice of Constraint Programming, CP'10
-
Proc. 16th International Conference on Principles and Practice of Constraint Programming, CP'10 281-296, 2010
Springer-Verlag