Indigo: a local propagation algorithm for inequality constraints
Proceedings of the 9th annual ACM symposium on User interface software and technology
Simplication of symbolic-numerical interval expressions
ISSAC '98 Proceedings of the 1998 international symposium on Symbolic and algebraic computation
Acceleration methods of numeric CSPc
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
A new basis for spreadsheet computing: Interval Solver for Microsoft Excel
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
Implementing non-linear constraints with cooperative solvers
SAC '96 Proceedings of the 1996 ACM symposium on Applied Computing
Symbolic-interval cooperation in constraint programming
Proceedings of the 2001 international symposium on Symbolic and algebraic computation
Value Constraints in the CLP Scheme
Constraints
Constraint-Based Facial Animation
Constraints
A Constraint Satisfaction Approach to a Circuit Design Problem
Journal of Global Optimization
Accelerating filtering techniques for numeric CSPs
Artificial Intelligence
Global Hull Consistency with Local Search for Continuous Constraint Solving
EPIA '01 Proceedings of the10th Portuguese Conference on Artificial Intelligence on Progress in Artificial Intelligence, Knowledge Extraction, Multi-agent Systems, Logic Programming and Constraint Solving
Propagation Completeness of Reactive Constraints
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
CLIP: A CLP(Intervals) Dialect for Metalevel Constraint Solving
PADL '00 Proceedings of the Second International Workshop on Practical Aspects of Declarative Languages
Grid-Based Histogram Arithmetic for the Probabilistic Analysis of Functions
SARA '02 Proceedings of the 4th International Symposium on Abstraction, Reformulation, and Approximation
AIMDM '99 Proceedings of the Joint European Conference on Artificial Intelligence in Medicine and Medical Decision Making
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
Interval Constraints: Results and Perspectives
Selected papers from the Joint ERCIM/Compulog Net Workshop on New Trends in Contraints
Solving Nonlinear Equations by Abstraction, Gaussian Elimination, and Interval Methods
FroCoS '02 Proceedings of the 4th International Workshop on Frontiers of Combining Systems
A Unified Framework for Interval Constraints and Interval Arithmetic
CP '98 Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming
A Note on Partial Consistencies over Continuous Domains
CP '98 Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming
Universally Quantified Interval Constraints
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
A Constraint Programming Approach for Solving Rigid Geometric Systems
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
Arc Consistency on n-ary Monotonic and Linear Constraints
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
Solving Constraints over Floating-Point Numbers
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
A Global Filtering Algorithm for Handling Systems of Quadratic Equations and Inequations
CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming
Continuous First-Order Constraint Satisfaction
AISC '02/Calculemus '02 Proceedings of the Joint International Conferences on Artificial Intelligence, Automated Reasoning, and Symbolic Computation
Declarative Modelling of Constraint Propagation Strategies
ADVIS '00 Proceedings of the First International Conference on Advances in Information Systems
Box Consistency through Weak Box Consistency
ICTAI '99 Proceedings of the 11th IEEE International Conference on Tools with Artificial Intelligence
An interval component for continuous constraints
Journal of Computational and Applied Mathematics - Special issue: Proceedings of the international conference on linear algebra and arithmetic, Rabat, Morocco, 28-31 May 2001
Interval constraint solving for camera control and motion planning
ACM Transactions on Computational Logic (TOCL)
Proceedings of the 2005 ACM symposium on Applied computing
Box-set consistency for interval-based constraint problems
Proceedings of the 2005 ACM symposium on Applied computing
Algorithm 852: RealPaver: an interval solver using constraint satisfaction techniques
ACM Transactions on Mathematical Software (TOMS)
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)
Using constraint techniques for a safe and fast implementation of optimality-based reduction
Proceedings of the 2007 ACM symposium on Applied computing
Constraint-based conversion of fiction text to a time-based graphical representation
Proceedings of the 2007 annual research conference of the South African institute of computer scientists and information technologists on IT research in developing countries
Efficient interval partitioning-Local search collaboration for constraint satisfaction
Computers and Operations Research
An efficient algorithm for a sharp approximation of universally quantified inequalities
Proceedings of the 2008 ACM symposium on Applied computing
Splitting heuristics for disjunctive numerical constraints
Proceedings of the 2008 ACM symposium on Applied computing
A New Framework for Sharp and Efficient Resolution of NCSP with Manifolds of Solutions
CP '08 Proceedings of the 14th international conference on Principles and Practice of Constraint Programming
A Branch and Bound Algorithm for Numerical MAX-CSP
CP '08 Proceedings of the 14th international conference on Principles and Practice of Constraint Programming
Aiding design with constraints: an extension of quad trees in order to deal with piecewise functions
International Journal of Computer Integrated Manufacturing - Industrial Engineering and Systems Management
Efficient interval partitioning for constrained global optimization
Journal of Global Optimization
Simulation of hybrid systems based on hierarchical interval constraints
Proceedings of the 2nd International Conference on Simulation Tools and Techniques
Artificial Intelligence
Brief paper: How to take into account piecewise constraints in constraint satisfaction problems
Engineering Applications of Artificial Intelligence
Constraint Reasoning for Differential Models
Proceedings of the 2005 conference on Constraint Reasoning for Differential Models
ICOS: a branch and bound based solver for rigorous global optimization
Optimization Methods & Software - GLOBAL OPTIMIZATION
Extending consistent domains of numeric CSP
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Local consistency for extended CSPs
Theoretical Computer Science
Enhancing numerical constraint propagation using multiple inclusion representations
Annals of Mathematics and Artificial Intelligence
Interval propagation and search on directed acyclic graphs for numerical constraint solving
Journal of Global Optimization
Constraint reasoning in deep biomedical models
Artificial Intelligence in Medicine
Search strategies for an anytime usage of the branch and prune algorithm
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Box consistency through adaptive shaving
Proceedings of the 2010 ACM Symposium on Applied Computing
Probabilistic constraints for reliability problems
Proceedings of the 2010 ACM Symposium on Applied Computing
Hull consistency under monotonicity
CP'09 Proceedings of the 15th international conference on Principles and practice of constraint programming
CP'09 Proceedings of the 15th international conference on Principles and practice of constraint programming
Constraint propagation on quadratic constraints
Constraints
Finding the maximal pose error in robotic mechanical systems using constraint programming
IEA/AIE'10 Proceedings of the 23rd international conference on Industrial engineering and other applications of applied intelligent systems - Volume Part I
Controlling search in constrained-object models
IBERAMIA'10 Proceedings of the 12th Ibero-American conference on Advances in artificial intelligence
On the selection of a transversal to solve nonlinear systems with interval arithmetic
ICCS'06 Proceedings of the 6th international conference on Computational Science - Volume Part I
Safety verification of hybrid systems by constraint propagation based abstraction refinement
HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
Efficient pruning technique based on linear relaxations
COCOS'03 Proceedings of the Second international conference on Global Optimization and Constraint Satisfaction
Finite domain bounds consistency revisited
AI'06 Proceedings of the 19th Australian joint conference on Artificial Intelligence: advances in Artificial Intelligence
Adaptive bisection of numerical CSPs
CP'12 Proceedings of the 18th international conference on Principles and Practice of Constraint Programming
Hi-index | 0.00 |