共 50 条
- [21] Solving Mixed and Conditional Constraint Satisfaction Problems Constraints, 2003, 8 : 107 - 141
- [22] A New Crossover for Solving Constraint Satisfaction Problems EVOLUTIONARY COMPUTATION IN COMBINATORIAL OPTIMIZATION (EVOCOP 2013), 2013, 7832 : 37 - 48
- [23] HYPERTREE DECOMPOSITION FOR SOLVING CONSTRAINT SATISFACTION PROBLEMS ICAART 2009: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE, 2009, : 85 - +
- [24] Solving Constraint Satisfaction Problems with SAT Technology FUNCTIONAL AND LOGIC PROGRAMMING, PROCEEDINGS, 2010, 6009 : 19 - +
- [25] A reactive approach for solving constraint satisfaction problems INTELLIGENT AGENTS V: AGENT THEORIES, ARCHITECTURES, AND LANGUAGES, 1999, 1555 : 397 - 411
- [26] A System for Solving Constraint Satisfaction Problems with SMT THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2010, PROCEEDINGS, 2010, 6175 : 300 - 305
- [27] On communication in solving Distributed Constraint Satisfaction Problems MULTI-AGENT SYSTEMS AND APPLICATIONS IV, PROCEEDINGS, 2005, 3690 : 418 - 429