Login / Signup
Atulan Zaman
Publication Activity (10 Years)
Years Active: 2015-2017
Publications (10 Years): 4
Top Topics
Functional Decomposition
Heuristic Search
Hardware Description Language
Branch And Bound
Top Venues
CASCON
CoRR
Haifa Verification Conference
CCECE
</>
Publications
</>
Nicholas Klassen
,
Michael Lyons
,
Michael Prysiazny
,
Paul Roth
,
Peter Socha
,
Murphy Berzish
,
Atulan Zaman
,
Derek Rayside
Manifold 2.0: A hardware description language for microfluidic devices.
CCECE
(2017)
Murphy Berzish
,
Asif Khan
,
Atulan Zaman
,
Vijay Ganesh
,
Derek Rayside
Manifold: an SMT-based declarative language for electronic and microfluidic design synthesis.
CASCON
(2016)
Jia Hui Liang
,
Vijay Ganesh
,
Ed Zulkoski
,
Atulan Zaman
,
Krzysztof Czarnecki
Understanding VSIDS Branching Heuristics in Conflict-Driven Clause-Learning SAT Solvers.
Haifa Verification Conference
(2015)
Jia Hui (Jimmy) Liang
,
Vijay Ganesh
,
Ed Zulkoski
,
Atulan Zaman
,
Krzysztof Czarnecki
Understanding VSIDS Branching Heuristics in Conflict-Driven Clause-Learning SAT Solvers.
CoRR
(2015)