Notice détaillée
Titre
Haaswijk, Winston Jason
Sciper ID
244796
Laboratoires affiliés
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
Voir toutes les 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
Voir toutes les publications (11)
Toutes les ressources
Toutes les ressources
Le document apparaît dans
Authorities > People