共 20 条
- [1] ALLENDER E, 2005, P 30 INT S MATH FDN, P71
- [2] Atserias A, 2005, IEEE S LOG, P106
- [3] Tractable conservative constraint satisfaction problems [J]. 18TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2003, : 321 - 330
- [4] Bulatov AA, 2002, ANN IEEE SYMP FOUND, P649, DOI 10.1109/SFCS.2002.1181990
- [5] Cohen D, 2006, FOUND ARTIF INTELL, P245
- [7] Dalmau V., 2002, Principles and Practice of Constraint Programming - CP 2002. 8th International Conference, CP 2002. Proceedings (Lecture Notes in Computer Science Vol.2470), P310
- [8] DALMAU V, 2007, LIMITS EXPRESSIVITY