Login / Signup
Predrag Teodorovic
ORCID
Publication Activity (10 Years)
Years Active: 2013-2013
Publications (10 Years): 0
Top Topics
Description Logics
Functional Dependencies
Top Venues
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
</>
Publications
</>
Predrag Teodorovic
,
Stanisa Dautovic
,
Veljko Malbasa
Recursive Boolean Formula Minimization Algorithms for Implication Logic.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
32 (11) (2013)