Functional synthesis via input-output separation

DOI10.1007/s10703-023-00410-5arXiv1808.08190OpenAlexW2952589826MaRDI QIDQ6102165

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

Publication date: 8 May 2023

Published in: Formal Methods in System Design (Search for Journal in Brave)

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

zbMATH Keywords

synthesisdecompositionBoolean functionsformal methods

Mathematics Subject Classification ID

Computer science (68-XX)

Related Items (1)

Boolean functional synthesis: from under the hood of solvers

Cites Work

• Unnamed Item
• The polynomial-time hierarchy
• New width parameters for model counting
• Unified QBF certification and its applications
• Incremental Determinization
• Maximal Falsifiability
• QBF Resolution Systems and Their Proof Complexities
• Open-WBO: A Modular MaxSAT Solver,
• Towards Parallel Boolean Functional Synthesis
• Quantifier Elimination via Functional Composition
• Solving (Weighted) Partial MaxSAT through Satisfiability Testing
• Graph-Based Algorithms for Boolean Function Manipulation
• BDD-Based Boolean Functional Synthesis
• Sequential Relational Decomposition
• Theory and Applications of Satisfiability Testing
• What's hard about Boolean functional synthesis?

This page was built for publication: Functional synthesis via input-output separation