共 50 条
- [1] Special track editorial: Constraint solving and programming Proceedings of the ACM Symposium on Applied Computing, 2006, 1 : 392 - 393
- [2] Using constraint programming for solving distance CSP with uncertainty PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING - CP 2005, PROCEEDINGS, 2005, 3709 : 847 - 847
- [3] Solving Sudoku with Constraint Programming CUTTING-EDGE RESEARCH TOPICS ON MULTIPLE CRITERIA DECISION MAKING, PROCEEDINGS, 2009, 35 : 345 - +
- [4] SAT/CSP 2015 special track foreword Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI, 2016, 2016-January
- [5] A reasoning method for timed CSP based on constraint solving FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2006, 4260 : 342 - +
- [7] Special track on programming languages Proceedings of the ACM Symposium on Applied Computing, 2008, : 189 - 190
- [8] Special Track on Programming Languages Proceedings of the ACM Symposium on Applied Computing, 2024, : 1102 - 1103
- [9] Special track on programming languages Proceedings of the ACM Symposium on Applied Computing, 2009, : 1881 - 1882
- [10] Special track on programming languages Proceedings of the ACM Symposium on Applied Computing, 2019, Part F147772 : 1516 - 1517