Efficient solution of a class of quantified constraints with quantifier prefix exists-forall

DOI10.1007/s11786-014-0195-8zbMath1302.65118arXiv1312.6155MaRDI QIDQ475420

Milan Hladík, Stefan Ratschan

Publication date: 27 November 2014

Published in: Mathematics in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1312.6155

zbMATH Keywords

constraint solving; interval computation; decision procedures

Mathematics Subject Classification ID

65G30: Interval and finite arithmetic

65H20: Global methods, including homotopy approaches to the numerical solution of nonlinear equations

65G20: Algorithms with automatic result verification

Uses Software

• QEPCAD
• Sostools
• REDLOG
• RSOLVER