SCIP: solving constraint integer programs

Graph-Based Algorithms for Boolean Function Manipulation

Bryant · IEEE Transactions on Computers · 1986 · 8.9K citations · Full text

Computing, Computer Science, Algorithms +16

Benchmarking optimization software with performance profiles

Elizabeth D. Dolan, Jorge J. Morè · Mathematical Programming · 2002 · 4.4K citations

Computing, Computer Science, Computer Systems +11

Chaff

Matthew W. Moskewicz, Conor Madigan, Ying Zhao et al. · 2001 · 2.9K citations

Computing, Computer Science, Algorithms +12

Activity Analysis of Production and Allocation.

C. F. Carter, T. C. Koopmans · The Economic Journal · 1952 · 1.9K citations

Engineering, Industrial Engineering, Operations Management +11

Binary Decision Diagrams

Akers · IEEE Transactions on Computers · 1978 · 1.8K citations

Engineering, Computer Engineering, Computer Science +17