Incremental determinization for quantifier elimination and functional synthesis

DOI10.1007/978-3-030-25543-5_6OpenAlexW2947778039MaRDI QIDQ6154873

Markus N. Rabe

Publication date: 16 February 2024

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

Full work available at URL: https://doi.org/10.1007/978-3-030-25543-5_6

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Quantifier elimination, model completeness, and related topics (03C10)

Related Items (1)

Boolean functional synthesis: from under the hood of solvers

This page was built for publication: Incremental determinization for quantifier elimination and functional synthesis