scientific article; zbMATH DE number 2080299

MaRDI QIDQ4472553zbMATH OpenFDO

Authors Frédéric Benhamou, Frédéric Goualard

Publication date 4 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/1894/18940067.htm

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• Interval constraint solving for camera control and motion planning
• scientific article; zbMATH DE number 1630125
• Approximate quantified constraint solving by cylindrical box decomposition
• Computer Algebra in Scientific Computing
• Quantified constraints under perturbation

Cited in

(15)

• Efficient handling of universally quantified inequalities
• Quantified constraints under perturbation
• A comparison of complete global optimization solvers
• Solving quantified constraint satisfaction problems
• On a decision procedure for quantified linear programs
• scientific article; zbMATH DE number 1630125 (Why is no real title available?)
• Satisfiability solving and model generation for quantified first-order logic formulas
• scientific article; zbMATH DE number 5526522 (Why is no real title available?)
• Efficient solution of a class of quantified constraints with quantifier prefix exists-forall
• Probabilistic constraints for nonlinear inverse problems
• Upper bounding in inner regions for global optimization under inequality constraints
• Quantified Constraints in Twenty Seventeen
• Construction of parametric barrier functions for dynamical systems using interval analysis
• Interval constraint solving for camera control and motion planning
• Contractor programming

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4472553)