BDD-Based Boolean Functional Synthesis

DOI10.1007/978-3-319-41540-6_22zbMath1411.68067OpenAlexW2505627961MaRDI QIDQ4633560

Moshe Y. Vardi, Dror Fried, Lucas M. Tabajara

Publication date: 3 May 2019

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

Full work available at URL: https://doi.org/10.1007/978-3-319-41540-6_22

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Data structures (68P05)

Related Items (6)

Sequential Relational Decomposition ⋮ Functional synthesis via input-output separation ⋮ Boolean functional synthesis: from under the hood of solvers ⋮ A Theoretical and Numerical Analysis of the Worst-Case Size of Reduced Ordered Binary Decision Diagrams ⋮ Towards Parallel Boolean Functional Synthesis ⋮ Boolean functional synthesis: hardness and practical algorithms

This page was built for publication: BDD-Based Boolean Functional Synthesis