Chaotic iteration for distributed constraint propagation
Proceedings of the 1999 ACM symposium on Applied computing
Using “weaker” functions for constraint propagation over real numbers
Proceedings of the 1999 ACM symposium on Applied computing
A coordination-based chaotic iteration algorithm for constraint propagation
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 1
The role of commutativity in constraint propagation algorithms
ACM Transactions on Programming Languages and Systems (TOPLAS)
Symbolic-interval cooperation in constraint programming
Proceedings of the 2001 international symposium on Symbolic and algebraic computation
Constraint-Based Facial Animation
Constraints
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Object-Oriented Constraint Programming with J.CP
MICAI '02 Proceedings of the Second Mexican International Conference on Artificial Intelligence: Advances in Artificial Intelligence
A Control Language for Designing Constraint Solvers
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
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
Constraint Propagation: Between Abstract Models and ad hoc Strategies
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
Constraint Propagation for Soft Constraints: Generalization and Termination Conditions
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
Distributed Constraint Satisfaction with Cooperating Asynchronous Solvers
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
Composition Operators for Constraint Propagation: An Application to Choco
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
Arc Consistency Algorithms via Iterations of Subsumed Functions
CL '00 Proceedings of the First International Conference on Computational Logic
Declarative Modelling of Constraint Propagation Strategies
ADVIS '00 Proceedings of the First International Conference on Advances in Information Systems
Schedulers for rule-based constraint programming
Proceedings of the 2003 ACM symposium on Applied computing
Basic components for constraint solver cooperations
Proceedings of the 2003 ACM symposium on Applied computing
Constraint programming viewed as rule-based programming
Theory and Practice of Logic Programming
Schedulers and redundancy for a class of constraint propagation rules
Theory and Practice of Logic Programming
A class of polynomially solvable range constraints for interval analysis without widenings
Theoretical Computer Science - Tools and algorithms for the construction and analysis of systems (TACAS 2004)
Proceedings of the 2006 ACM symposium on Applied computing
Continuous refinement of agent resource estimates
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Propositional Satisfiability and Constraint Programming: A comparative survey
ACM Computing Surveys (CSUR)
Efficient solving of quantified inequality constraints over the real numbers
ACM Transactions on Computational Logic (TOCL)
Safety verification of hybrid systems by constraint propagation-based abstraction refinement
ACM Transactions on Embedded Computing Systems (TECS)
Partially defined constraints in constraint-based design
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Certainty closure: Reliable constraint reasoning with incomplete or erroneous data
ACM Transactions on Computational Logic (TOCL)
Constraint Reasoning for Differential Models
Proceedings of the 2005 conference on Constraint Reasoning for Differential Models
Boolean Propagation Based on Literals for Quantified Boolean Formulae
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Solving set constraint satisfaction problems using ROBDDs
Journal of Artificial Intelligence Research
QCSP made practical by virtue of restricted quantification
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Finite domain constraint solver learning
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Bounds arc consistency for weighted CSPs
Journal of Artificial Intelligence Research
Improved bounds on the complexity of kB-consistency
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Enhancing numerical constraint propagation using multiple inclusion representations
Annals of Mathematics and Artificial Intelligence
Soft arc consistency revisited
Artificial Intelligence
A note on redundant rules in rule-based constraint programming
ERCIM'02/CologNet'02 Proceedings of the 2002 Joint ERCIM/CologNet international conference on Constraint solving and constraint logic programming
An analysis of slow convergence in interval propagation
CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
Reusing CSP propagators for QCSPs
CSCLP'06 Proceedings of the constraint solving and contraint logic programming 11th annual ERCIM international conference on Recent advances in constraints
Constraint propagation on quadratic constraints
Constraints
Inference scene labeling by incorporating object detection with explicit shape model
ACCV'10 Proceedings of the 10th Asian conference on Computer vision - Volume Part III
Timetable edge finding filtering algorithm for discrete cumulative resources
CPAIOR'11 Proceedings of the 8th international conference on Integration of AI and OR techniques in constraint programming for combinatorial optimization problems
Journal of Artificial Intelligence Research
The complexity of integer bound propagation
Journal of Artificial Intelligence Research
Incremental computation of succinct abstractions for hybrid systems
FORMATS'11 Proceedings of the 9th international conference on Formal modeling and analysis of timed systems
Explaining constraint programming
Processes, Terms and Cycles
Constraint propagation as information maximization
Artificial Intelligence
Constraint Propagation for First-Order Logic and Inductive Definitions
ACM Transactions on Computational Logic (TOCL)
Hi-index | 5.23 |