2008/07/15 by Alexandre Goldsztejn, Goldsztejn, Alexandre, Claude Michel +3
Computer Science · Engineering · #Advanced Numerical Analysis Techniques #Constraint Satisfaction and Optimization #Data Structures and Algorithms (cs.DS) #FOS: Computer and information sciences #FOS: Mathematics #G.1 #Numerical Analysis (math.NA) #Polynomial and algebraic computation
paper · doi:10.48550/arxiv.0807.2269
openalex publication_date 2008/07/15 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
This paper introduces a new algorithm for solving a sub-class of quantified constraint satisfaction problems (QCSP) where existential quantifiers precede universally quantified inequalities on continuous domains. This class of QCSPs has numerous applications in engineering and design. We propose here a new generic branch and prune algorithm for solving such continuous QCSPs. Standard pruning operators and solution identification operators are specialized for universally quantified inequalities. Special rules are also proposed for handling the parameters of the constraints. First experimentation show that our algorithm outperforms the state of the art methods.