Concepedia

Predrag Teodorovic

PT

1

Publications

13

Citations

1

H-Index

2013

Active since

Affiliations

University of Novi Sad(Current)

Predrag Teodorovic is an author at University of Novi Sad specializing in computational complexity, computer engineering, and formal methods.

ORCID

Top concepts

Publications per year

2013–2013

1

Publications

1

Recursive Boolean Formula Minimization Algorithms for Implication Logic

Predrag Teodorovic, Staniša Dautović, Veljko Malbaša · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2013 · 13 citations

, , +15

Rows per page

1–1 of 1