A modeling language for mathematical programming
Management Science
ILPS '94 Proceedings of the 1994 International Symposium on Logic programming
Solving Polynomial Systems Using a Branch and Prune Approach
SIAM Journal on Numerical Analysis
Revising hull and box consistency
Proceedings of the 1999 international conference on Logic programming
The role of commutativity in constraint propagation algorithms
ACM Transactions on Programming Languages and Systems (TOPLAS)
POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A Constraint Satisfaction Approach to a Circuit Design Problem
Journal of Global Optimization
Progress in the Solving of a Circuit Design Problem
Journal of Global Optimization
Approximation Techniques for Non-linear Problems with Continuum of Solutions
Proceedings of the 5th International Symposium on Abstraction, Reformulation and Approximation
Solving Nonlinear Equations by Abstraction, Gaussian Elimination, and Interval Methods
FroCoS '02 Proceedings of the 4th International Workshop on Frontiers of Combining Systems
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
Numerical Data Fitting in Dynamical Systems: A Practical Introduction with Applications and Software
Numerical Data Fitting in Dynamical Systems: A Practical Introduction with Applications and Software
Interactive constraint-aided conceptual design
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Numerica: a modeling language for global optimization
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
Model-driven constraint programming
Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming
IEA/AIE '08 Proceedings of the 21st international conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems: New Frontiers in Applied Artificial Intelligence
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
Search heuristics for constraint-aided embodiment design
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Artificial Intelligence
An interval-based approach for fault isolation and identification in continuous dynamic systems
Proceedings of the 2008 conference on Artificial Intelligence Research and Development: Proceedings of the 11th International Conference of the Catalan Association for Artificial Intelligence
Exploiting single-cycle symmetries in continuous constraint problems
Journal of Artificial Intelligence Research
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
Brief paper: Interval observer design for consistency checks of nonlinear continuous-time systems
Automatica (Journal of IFAC)
CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
Constructive interval disjunction
CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
A tabu search method for interval constraints
CPAIOR'08 Proceedings of the 5th international conference on Integration of AI and OR techniques in constraint programming for combinatorial optimization problems
Constraint propagation on quadratic constraints
Constraints
Knowledge Compilation Using Interval Automata and Applications to Planning
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Standardized interval arithmetic and interval arithmetic used in libraries
ICMS'10 Proceedings of the Third international congress conference on Mathematical software
Journal of Global Optimization
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
Model repair for probabilistic systems
TACAS'11/ETAPS'11 Proceedings of the 17th international conference on Tools and algorithms for the construction and analysis of systems: part of the joint European conferences on theory and practice of software
Integrating ICP and LRA solvers for deciding nonlinear real arithmetic problems
Proceedings of the 2010 Conference on Formal Methods in Computer-Aided Design
Symmetry breaking in numeric constraint problems
CP'11 Proceedings of the 17th international conference on Principles and practice of constraint programming
Engineering Applications of Artificial Intelligence
When interval analysis helps inter-block backtracking
CP'06 Proceedings of the 12th international conference on Principles and Practice of Constraint Programming
Finding all solutions of separable systems of piecewise-linear equations using integer programming
Journal of Computational and Applied Mathematics
Predicate abstraction of programs with non-linear computation
ATVA'06 Proceedings of the 4th international conference on Automated Technology for Verification and Analysis
Real algebraic strategies for metitarski proofs
CICM'12 Proceedings of the 11th international conference on Intelligent Computer Mathematics
Engineering Applications of Artificial Intelligence
Adaptive bisection of numerical CSPs
CP'12 Proceedings of the 18th international conference on Principles and Practice of Constraint Programming
Refining abstract interpretation based value analysis with constraint programming techniques
CP'12 Proceedings of the 18th international conference on Principles and Practice of Constraint Programming
A branch and prune algorithm for the computation of generalized aspects of parallel robots
CP'12 Proceedings of the 18th international conference on Principles and Practice of Constraint Programming
Proceedings of the 34th ACM SIGPLAN conference on Programming language design and implementation
Feedback-directed unit test generation for C/C++ using concolic execution
Proceedings of the 2013 International Conference on Software Engineering
How do you compute the midpoint of an interval?
ACM Transactions on Mathematical Software (TOMS)
Formalization of Bernstein Polynomials and Applications to Global Optimization
Journal of Automated Reasoning
Computation in real closed infinitesimal and transcendental extensions of the rationals
CADE'13 Proceedings of the 24th international conference on Automated Deduction
dReal: an SMT solver for nonlinear theories over the reals
CADE'13 Proceedings of the 24th international conference on Automated Deduction
Hi-index | 0.00 |
RealPaver is an interval software for modeling and solving nonlinear systems. Reliable approximations of continuous or discrete solution sets are computed using Cartesian products of intervals. Systems are given by sets of equations or inequality constraints over integer and real variables. Moreover, they may have different natures, being square or nonsquare, sparse or dense, linear, polynomial, or involving transcendental functions.The modeling language permits stating constraint models and tuning parameters of solving algorithms which efficiently combine interval methods and constraint satisfaction techniques. Several consistency techniques (box, hull, and 3B) are implemented. The distribution includes C sources, executables for different machine architectures, documentation, and benchmarks. The portability is ensured by the GNU C compiler.