Incremental determinization for quantifier elimination and functional synthesis

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

Authors: Markus 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

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

Cited In (2)

• Boolean functional synthesis: from under the hood of solvers
• Partial quantifier elimination and property generation

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

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