Declarative Numerical Analysis: an Interval Constraint-based Approach (original) (raw)
Related papers
A unified framework for interval constraints and interval arithmetic
1998
Interval Constraints: Results and Perspectives
Lecture Notes in Computer Science, 2000
Validated Constraint Compilation
Lecture Notes in Computer Science, 1999
Combining local consistency, symbolic rewriting and interval methods
Lecture Notes in Computer Science, 1996
Metalevel Interval Arithmetic and Verifiable Constraint Solving
Analytic constraint solving and interval arithmetic
2000
An Algorithm to Compute Inner Approximations of Relations for Interval Constraints
Lecture Notes in Computer Science, 2000
Constraint programming over nonlinear constraints
Science of Computer Programming, 1998
An extension of the WAM for hybrid interval solvers
Constraint Arithmetic on Real Intervals
1991
Efficient and Safe Global Constraints for Handling Numerical Constraint Systems
Claude Michel, Yahia Lebbah, Michel Rueher
Siam Journal on Numerical Analysis, 2005
Universally Quantified Interval Constraints
Lecture Notes in Computer Science, 2000
Interval constraint propagation at a Glance
2008
Exploiting Monotonicity in Interval Constraint Propagation
Towards automated reasoning on the properties of numerical constraints
Interval Analysis, Constraint Propagation and Applications
Solving constraints over floating-point numbers
Claude Michel, Yahia Lebbah, Michel Rueher
2001
Journal of Uncertain …, 2007
Interval-based solving of hybrid constraint systems
Alexandre Goldsztejn, Daisuke Ishii
Reasoning on the properties of numerical constraints
Efficient constraint propagation engines
ACM Transactions on Programming Languages and Systems, 2008
A Generic, Collaborative Framework for Interval Constraint Solving
2002
Newton - Constraint Programming over Nonlinear Constraints
AC3-OP: An Arc-Consistency Algorithm for Arithmetic Constraints
Miguel Salido, Federico Barber
Proceeding of the 2009 conference on …, 2009
A Symbiosis of Interval Constraint Propagation and Cylindrical Algebraic Decomposition
Lecture Notes in Computer Science, 2013
Efficient interval linear equality solving in constraint logic programming
2002
Validated Constraint Solving-Practicalities, Pitfalls, and New Developments
Reliable Computing, 2005
2004