共 50 条
- [31] Solving Conditional and Composite Constraint Satisfaction Problems APPLIED COMPUTING 2007, VOL 1 AND 2, 2007, : 336 - 337
- [32] A New Crossover for Solving Constraint Satisfaction Problems EVOLUTIONARY COMPUTATION IN COMBINATORIAL OPTIMIZATION (EVOCOP 2013), 2013, 7832 : 37 - 48
- [33] HYPERTREE DECOMPOSITION FOR SOLVING CONSTRAINT SATISFACTION PROBLEMS ICAART 2009: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE, 2009, : 85 - +
- [34] Solving Constraint Satisfaction Problems with SAT Technology FUNCTIONAL AND LOGIC PROGRAMMING, PROCEEDINGS, 2010, 6009 : 19 - +
- [35] A reactive approach for solving constraint satisfaction problems INTELLIGENT AGENTS V: AGENT THEORIES, ARCHITECTURES, AND LANGUAGES, 1999, 1555 : 397 - 411
- [36] Solving Mixed and Conditional Constraint Satisfaction Problems Constraints, 2003, 8 : 107 - 141
- [37] A System for Solving Constraint Satisfaction Problems with SMT THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2010, PROCEEDINGS, 2010, 6175 : 300 - 305
- [38] On communication in solving Distributed Constraint Satisfaction Problems MULTI-AGENT SYSTEMS AND APPLICATIONS IV, PROCEEDINGS, 2005, 3690 : 418 - 429
- [39] Mini-conflict repair based algorithm for solving dynamic constraint satisfaction problems Jisuanji Yanjiu yu Fazhan/Computer Research and Development, 2007, 44 (12): : 2078 - 2084