Irena Pevac is an author at University of Belgrade specializing in computational complexity, combinatorial optimization, and graph theory.
Top concepts
EngineeringGraph TheoryComputer ScienceAutomated ReasoningComputational ComplexityCombinatorial Optimization
Publications per year
1988–1988
1
1
Man-machine theorem proving in graph theory
Dragoš Cvetković, Irena Pevac · Artificial Intelligence · 1988 · 18 citations
Rows per page
1–1 of 1