Details
Title
Haaswijk, Winston Jason
Sciper ID
244796
Affiliated labs
LSI1
Publications
Deep Learning for Logic Optimization Algorithms
Exact Synthesis of Boolean Functions in Majority-of-five Forms
LUT Mapping and Optimization for Majority-Inverter Graphs
Logic Optimization of Majority-Inverter Graphs
On-the-fly and DAG-aware: Rewriting Boolean Networks with Exact Synthesis
SAT Based Exact Synthesis using DAG Topology Families
SAT Based Exact Synthesis using DAG Topology Families
SAT-Based Exact Synthesis: Encodings, Topology Families, and Parallelism
Scalable Generic Logic Synthesis: One Approach to Rule Them All
The Complexity of Self-Dual Monotone 7-Input Functions
See complete list of publications (11)
Exact Synthesis of Boolean Functions in Majority-of-five Forms
LUT Mapping and Optimization for Majority-Inverter Graphs
Logic Optimization of Majority-Inverter Graphs
On-the-fly and DAG-aware: Rewriting Boolean Networks with Exact Synthesis
SAT Based Exact Synthesis using DAG Topology Families
SAT Based Exact Synthesis using DAG Topology Families
SAT-Based Exact Synthesis: Encodings, Topology Families, and Parallelism
Scalable Generic Logic Synthesis: One Approach to Rule Them All
The Complexity of Self-Dual Monotone 7-Input Functions
See complete list of publications (11)
Link to search
All resources
Record appears in
Authorities > People