Arc consistency in SAT
収録刊行物
-
- Proc. 15th European Conf. on Artificial Intelligence (ECAI 2002)
-
Proc. 15th European Conf. on Artificial Intelligence (ECAI 2002) 121-125, 2002