Atulan Zaman

Publication Activity (10 Years)

Years Active: 2015-2017
Publications (10 Years): 2

Top Topics

Functional Decomposition

Heuristic Search

Hardware Description Language

Branch And Bound

Top Venues

Haifa Verification Conference

Publications