Pages that link to "Item:Q3303903"
From MaRDI portal
The following pages link to Towards Parallel Boolean Functional Synthesis (Q3303903):
Displaying 12 items.
- Efficient synthesis of a class of Boolean programs from I-O data: application to genetic networks (Q628335) (← links)
- Boolean circuit programming: A new paradigm to design parallel algorithms (Q1026240) (← links)
- Boolean functional synthesis: hardness and practical algorithms (Q2050108) (← links)
- Generation of universal series-parallel Boolean functions (Q3158543) (← links)
- A dual rail circuits synthesis environment for the implementation of multiple output boolean functions (Q4226467) (← links)
- (Q4295951) (← links)
- What's hard about Boolean functional synthesis? (Q6045007) (← links)
- Functional synthesis via input-output separation (Q6102165) (← links)
- Boolean functional synthesis: from under the hood of solvers (Q6132564) (← links)
- Projected model counting: beyond independent support (Q6160911) (← links)
- Counterexample guided knowledge compilation for Boolean functional synthesis (Q6535639) (← links)
- Tractable representations for Boolean functional synthesis (Q6630716) (← links)