共 50 条
- [35] Solving constraint satisfaction problems with SAT modulo theories Constraints, 2012, 17 : 273 - 303
- [36] An Incremental Approach to Solving Dynamic Constraint Satisfaction Problems NEURAL INFORMATION PROCESSING, ICONIP 2012, PT III, 2012, 7665 : 445 - 455
- [37] Solving set constraint satisfaction problems using ROBDDS JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2005, 24 : 109 - 156
- [38] Solving permutation constraint satisfaction problems with artificial ants ECAI 2000: 14TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2000, 54 : 118 - 122
- [39] Progressive stochastic search for solving constraint satisfaction problems 15TH IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2003, : 487 - 491
- [40] A Connectionist Approach for Solving Large Constraint Satisfaction Problems Applied Intelligence, 1997, 7 : 215 - 225