A coordination-based chaotic iteration algorithm for constraint propagation
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 1
Some Remarks on Boolean Constraint Propagation
Selected papers from the Joint ERCIM/Compulog Net Workshop on New Trends in Contraints
Generating Propagation Rules for Finite Domains: A Mixed Approach
Selected papers from the Joint ERCIM/Compulog Net Workshop on New Trends in Contraints
Distributed Splitting of Constraint Satisfaction Problems
COORDINATION '00 Proceedings of the 4th International Conference on Coordination Languages and Models
Automatic Generation of Propagation Rules for Finite Domains
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
Towards Inductive Constraint Solving
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
Beyond NP: Arc-Consistency for Quantified Constraints
CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming
Indexical-Based Solver Learning
CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming
Using confluence to generate rule-based constraint solvers
Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming
Automatic generation of rule-based constraint solvers over finite domains
ACM Transactions on Computational Logic (TOCL)
Constraint programming viewed as rule-based programming
Theory and Practice of Logic Programming
Automatic generation of CHR constraint solvers
Theory and Practice of Logic Programming
Partially defined constraints in constraint-based design
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Generation of Rule-Based Constraint Solvers: Combined Approach
Logic-Based Program Synthesis and Transformation
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 1
Efficient representation of adhoc constraints
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Finite domain constraint solver learning
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Constraint solver synthesis using tabled resolution for constraint logic programming
LOPSTR'02 Proceedings of the 12th international conference on Logic based program synthesis and transformation
A coordination-based framework for distributed constraint solving
ERCIM'02/CologNet'02 Proceedings of the 2002 Joint ERCIM/CologNet international conference on Constraint solving and constraint logic programming
Two contributions of constraint programming to machine learning
ECML'05 Proceedings of the 16th European conference on Machine Learning
Hi-index | 0.00 |