Winston Haaswijk - Concepedia

Author

Winston Haaswijk

École Polytechnique Fédérale de Lausanne ORCID

Also Known As

Haaswijk, Winston, Haaswijk, Winston Jason, Winston Haaswijk

Publications

443

Citations

H-Index

Concepts

All Affiliations

École Polytechnique Fédérale de Lausanne University of California, Berkeley Synopsys (United States)

About

Winston Haaswijk is an author at École Polytechnique Fédérale de Lausanne specializing in computer science, computer engineering, and engineering.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	11	11	403
2	Computer Engineering	11	11	403
3	Natural Sciences	1	1	27
4	Applied Physics	1	1	18
5	Chemistry	1	1	27

Winston Haaswijk

Publications

416

Citations

H-Index

Page 1

	Year	Citations
Deep Learning for Logic Optimization Algorithms Winston Haaswijk, Edo Collins, Benoît Séguin, Artificial IntelligenceModel OptimizationNew TechnologiesEngineeringMachine Learning	2018	78
A novel basis for logic rewriting Winston Haaswijk, Mathias Soeken, Luca Amarù, Logic SynthesisEngineeringLogic PrimitivesAutomated ReasoningRegulated Rewriting	2017	71
SAT-Based Exact Synthesis: Encodings, Topology Families, and Parallelism Winston Haaswijk, Mathias Soeken, Alan Mishchenko, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems Exact Synthesis SystemsLogic SynthesisEngineeringAutomated ReasoningSat Solving	2019	54
On-the-fly and DAG-aware: Rewriting Boolean Networks with Exact Synthesis Heinz Riener, Winston Haaswijk, Alan Mishchenko, Circuit ComplexityLogic SynthesisBoolean NetworksEngineeringCut Rewriting	2019	46
The EPFL Logic Synthesis Libraries Mathias Soeken, Heinz Riener, Winston Haaswijk arXiv (Cornell University) Quantum CompilersLogic SynthesisEngineeringQuantum ComputingAutomated Reasoning	2018	34
Practical exact synthesis Mathias Soeken, Winston Haaswijk, Eleonora Testa, EngineeringVerificationComputer ArchitectureDepth OptimizationSystem Synthesis	2018	27
Scalable Generic Logic Synthesis Heinz Riener, Eleonora Testa, Winston Haaswijk, EngineeringComputer ArchitectureSystem SynthesisFormal VerificationLogic Programming	2019	27
SAT based exact synthesis using DAG topology families Winston Haaswijk, Alan Mishchenko, Mathias Soeken, Dag Topology FamiliesEngineeringComputer ArchitectureSystem SynthesisComputer-aided Design	2018	19
One-pass Synthesis for Field-coupled Nanocomputing Technologies Marcel Walter, Winston Haaswijk, Robert Wille, EngineeringVlsi DesignBottom-up SynthesisComputer ArchitectureNanocomputing	2021	18
Classifying Functions with Exact Synthesis Winston Haaswijk, Eleonora Testa, Mathias Soeken, Circuit ComplexityEngineeringMachine LearningBoolean FunctionNpn Canonization	2017	17

Page 1