Login / Signup
D. N. T. Kumar
Publication Activity (10 Years)
Years Active: 2012-2012
Publications (10 Years): 0
Top Topics
Theorem Prover
Computational Framework
Higher Order Logic
Tensor Voting
Top Venues
Comput. Inf. Sci.
</>
Publications
</>
D. N. T. Kumar
,
Qufu Wei
A General Computational Framework and Simulations of Branching Programs of Boolean Circuits Using Higher Order Logic (HOL) Software - An Insight into ECAD Tool Design Paradigm.
Comput. Inf. Sci.
5 (6) (2012)