Quantifier Elimination via Functional Composition

DOI10.1007/978-3-642-02658-4_30zbMATH Open1242.68165OpenAlexW1544505822MaRDI QIDQ3636874

Jie-Hong R. Jiang

Publication date: 30 June 2009

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

Full work available at URL: https://doi.org/10.1007/978-3-642-02658-4_30

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Interpolation, preservation, definability (03C40) Quantifier elimination, model completeness, and related topics (03C10)

Related Items (7)

Solving dependency quantified Boolean formulas using quantifier localization ⋮ Functional synthesis via input-output separation ⋮ Quantifier elimination by dependency sequents ⋮ Towards Parallel Boolean Functional Synthesis ⋮ Partial quantifier elimination and property generation ⋮ Tractable representations for Boolean functional synthesis ⋮ Boolean functional synthesis: hardness and practical algorithms

This page was built for publication: Quantifier Elimination via Functional Composition