Delta-decision procedures for exists-forall problems over the reals

DOI10.1007/978-3-319-96142-2_15zbMath1511.68252arXiv1807.08137OpenAlexW2883422753MaRDI QIDQ6039404

Armando Solar-Lezama, Soonho Kong, Sicun Gao

Publication date: 5 May 2023

Published in: Computer Aided Verification (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Nonconvex programming, global optimization (90C26) Logic in computer science (03B70) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (2)

Optimization modulo non-linear arithmetic via incremental linearization ⋮ Encoding inductive invariants as barrier certificates: synthesis via difference-of-convex programming

This page was built for publication: Delta-decision procedures for exists-forall problems over the reals