Some algebraic and geometric computations in PSPACE
STOC '88 Proceedings of the twentieth annual ACM symposium on Theory of computing
Preconditioners for the interval Gauss-Seidel method
SIAM Journal on Numerical Analysis
Strategic directions in constraint programming
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Helios: a modeling language for global optimization and its implementation in Newton
Theoretical Computer Science - Special issue: principles and practice of constraint programming
Solving Polynomial Systems Using a Branch and Prune Approach
SIAM Journal on Numerical Analysis
Newton—constraint programming over nonlinear constraints
Science of Computer Programming - Special issue on concurrent constraint programming
Numerical Methods for Unconstrained Optimization and Nonlinear Equations (Classics in Applied Mathematics, 16)
A faster PSPACE algorithm for deciding the existential theory of the reals
SFCS '88 Proceedings of the 29th Annual Symposium on Foundations of Computer Science
Search Heuristics for Box Decomposition Methods
Journal of Global Optimization
IEEE Transactions on Knowledge and Data Engineering
Improved Interval Constraint Propagation for Constraints on Partial Derivatives
ICCS '02 Proceedings of the International Conference on Computational Science-Part II
Interval Constraints: Results and Perspectives
Selected papers from the Joint ERCIM/Compulog Net Workshop on New Trends in Contraints
Constraint (Logic) Programming: A Survey on Research and Applications
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
Optimal Pruning in Parametric Differential Equations
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
Structural Constraint-Based Modeling and Reasoning with Basic Configuration Cells
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
Solving Nonlinear Systems by Constraint Inversion and Interval Arithmetic
AISC '00 Revised Papers from the International Conference on Artificial Intelligence and Symbolic Computation
Box Consistency through Weak Box Consistency
ICTAI '99 Proceedings of the 11th IEEE International Conference on Tools with Artificial Intelligence
Automatic Test Data Generation for Programs with Integer and Float Variables
Proceedings of the 16th IEEE international conference on Automated software engineering
Consistency techniques for interprocedural test data generation
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
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
Termination of Floating-Point Computations
Journal of Automated Reasoning
Algorithm 852: RealPaver: an interval solver using constraint satisfaction techniques
ACM Transactions on Mathematical Software (TOMS)
Propositional Satisfiability and Constraint Programming: A comparative survey
ACM Computing Surveys (CSUR)
The LPSAT engine & its application to resource planning
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
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
A box-consistency contractor based on extremal functions
CP'10 Proceedings of the 16th international conference on Principles and practice of constraint programming
NeVer: a tool for artificial neural networks verification
Annals of Mathematics and Artificial Intelligence
Predicate abstraction of programs with non-linear computation
ATVA'06 Proceedings of the 4th international conference on Automated Technology for Verification and Analysis
Solving non-linear arithmetic constraints in soft realtime environments
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Integrating Finite Domain and Set Constraints into a Set-based Constraint Language
Fundamenta Informaticae - Advances in Computational Logic (CIL C08)
| Hi-index | 0.00 |