Permutation Problems and Channelling Constraints
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
SARA '02 Proceedings of the 4th International Symposium on Abstraction, Reformulation, and Approximation
On Algorithms for Decomposable Constraints
SETN '02 Proceedings of the Second Hellenic Conference on AI: Methods and Applications of Artificial Intelligence
Selected papers from the Joint ERCIM/Compulog Net Workshop on New Trends in Contraints
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
AbsCon: A Prototype to Solve CSPs with Abstraction
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
Lower Bounds for Non-binary Constraint Optimization Problems
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
Global Constraints for Lexicographic Orderings
CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming
Solving Non-binary CSPs Using the Hidden Variable Encoding
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
Disjunction of Non-binary and Numeric Constraint Satisfaction Problems
CCIA '02 Proceedings of the 5th Catalonian Conference on AI: Topics in Artificial Intelligence
Constraint satisfaction algorithms for graph pattern matching
Mathematical Structures in Computer Science
Efficient solution techniques for disjunctive temporal reasoning problems
Artificial Intelligence
Exploiting automatically inferred constraint-models for building identification in satellite imagery
Proceedings of the 15th annual ACM international symposium on Advances in geographic information systems
Dual modelling of permutation and injection problems
Journal of Artificial Intelligence Research
Dual encoding using constraint coverings
PRICAI'00 Proceedings of the 6th Pacific Rim international conference on Artificial intelligence
Reformulating constraint satisfaction problems to improve scalability
SARA'07 Proceedings of the 7th International conference on Abstraction, reformulation, and approximation
Reformulating CSPs for scalability with application to geospatial reasoning
CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
Realtime online solving of quantified CSPs
CP'09 Proceedings of the 15th international conference on Principles and practice of constraint programming
CONFIIT: a middleware for peer-to-peer computing
The Journal of Supercomputing
Hi-index | 0.00 |