Concepedia

Miroslav Karamanov

MK

Statistics

Publications

2

Citations

97

H-Index

2

Active since

2006

Affiliations

Carnegie Mellon University(Current)

Miroslav Karamanov is an author at Carnegie Mellon University specializing in syntax, discrete optimization, and automated reasoning.

Top concepts

SyntaxEngineeringGraph TheoryBranch And BoundComputer ScienceLinear ProgrammingAutomated ReasoningInteger ProgrammingOperations ResearchComputer Engineering

Publications per year

2006–2009

2

Publications

2

Branching on general disjunctions

Miroslav Karamanov, Gérard Cornuéjols · Mathematical Programming · 2009 · 50 citations · Full text

Algebraic Logic, Syntax, Substructural Logic +3

Early Estimates of the Size of Branch-and-Bound Trees

Gérard Cornuéjols, Miroslav Karamanov, Yanjun Li · INFORMS journal on computing · 2006 · 47 citations

Mathematical Programming, Branch-and-bound Algorithm, Engineering +20

1–2 of 2