Local consistencies in SAT
収録刊行物
-
- Proc. 6th Int. Conf. on Theory and Applications of Satisfiability Testing (SAT2003)
-
Proc. 6th Int. Conf. on Theory and Applications of Satisfiability Testing (SAT2003) 299-314, 2003