Indigo: a local propagation algorithm for inequality constraints
Proceedings of the 9th annual ACM symposium on User interface software and technology
Subdefinite Models and Logic Programming: Implementation of Constraints
Programming and Computing Software
Evaluating Elementary Functions with Guaranteed Precision
Programming and Computing Software
Placing Base Stations in Wireless Indoor Communication Networks
IEEE Intelligent Systems
Improved Interval Constraint Propagation for Constraints on Partial Derivatives
ICCS '02 Proceedings of the International Conference on Computational Science-Part II
An Algorithm to Compute Inner Approximations of Relations for Interval Constraints
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
Constraints with Variables` Annotations and Constraint Hierarchies
SOFSEM '98 Proceedings of the 25th Conference on Current Trends in Theory and Practice of Informatics: Theory and Practice of Informatics
Universally Quantified Interval Constraints
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
Modelling Digital Circuits Problems with Set Constraints
CL '00 Proceedings of the First International Conference on Computational Logic
Moder Generation Theorem Proving with Finite Interval Constraints
CL '00 Proceedings of the First International Conference on Computational Logic
Continuous First-Order Constraint Satisfaction
AISC '02/Calculemus '02 Proceedings of the Joint International Conferences on Artificial Intelligence, Automated Reasoning, and Symbolic Computation
An interval constraint system for lattice domains
ACM Transactions on Programming Languages and Systems (TOPLAS)
The Munich Rent Advisor: A success for logic programming on then Internet
Theory and Practice of Logic Programming
Interval constraint solving for camera control and motion planning
ACM Transactions on Computational Logic (TOCL)
Efficient solving of quantified inequality constraints over the real numbers
ACM Transactions on Computational Logic (TOCL)
Cardinal: A Finite Sets Constraint Solver
Constraints
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
Constraint reasoning with uncertain data using CDF-Intervals
CPAIOR'10 Proceedings of the 7th international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Compiling CHR to parallel hardware
Proceedings of the 14th symposium on Principles and practice of declarative programming
Hi-index | 0.00 |