SAT encodings for Pseudo-Boolean constraints together with at-most-one constraints

Integer Programming Formulation of Traveling Salesman Problems

Casey Miller, A. W. Tucker, R. A. Zemlin · Journal of the ACM · 1960 · 2K citations · Full text

Natural Sciences, Mathematics, Combinatorics +12

Resource-constrained project scheduling: Notation, classification, models, and methods

Peter Brucker, Andreas Drexl, Rolf H. Möhring et al. · European Journal of Operational Research · 1999 · 1.5K citations

Management, Industrial Engineering, Project Management +12

PSPLIB - A project scheduling problem library

Rainer Kolisch, Arno Sprecher · European Journal of Operational Research · 1997 · 1.3K citations

Management, Industrial Engineering, Project Management +10

Combinatorial Auctions: A Survey

Sven de Vries, Rakesh Vohra · INFORMS journal on computing · 2003 · 997 citations

Business, Economics, Mathematics +16

A Knowledge Compilation Map

2002 · 625 citations

Computing, Computer Engineering, Computer Science +10