Winston Haaswijk

Deep Learning for Logic Optimization Algorithms

Winston Haaswijk, Edo Collins, Benoît Séguin et al. · 2018 · 78 citations · Full text

Artificial Intelligence, Model Optimization, New Technologies +15

A novel basis for logic rewriting

Winston Haaswijk, Mathias Soeken, Luca Amarù et al. · 2017 · 71 citations · Full text

Logic Synthesis, Engineering, Logic Primitives +15

SAT-Based Exact Synthesis: Encodings, Topology Families, and Parallelism

Winston Haaswijk, Mathias Soeken, Alan Mishchenko et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2019 · 54 citations · Full text

Exact Synthesis Systems, Logic Synthesis, Engineering +15

On-the-fly and DAG-aware: Rewriting Boolean Networks with Exact Synthesis

Heinz Riener, Winston Haaswijk, Alan Mishchenko et al. · 2019 · 46 citations · Full text

Circuit Complexity, Logic Synthesis, Boolean Networks +15

The EPFL Logic Synthesis Libraries

Mathias Soeken, Heinz Riener, Winston Haaswijk · arXiv (Cornell University) · 2018 · 34 citations · Full text

Quantum Compilers, Logic Synthesis, Engineering +14