Constraints

IBM ILOG CP optimizer for scheduling

Philippe Laborie, Jérôme Rogerie, Paul Shaw et al. · 2018 · 279 citations

Engineering, Scheduling Problem, Systems Engineering +5

Semiring-Based CSPs and Valued CSPs: Frameworks, Properties, and Comparison

Stefano Bistarelli, Ugo Montanari, Francesca Rossi et al. · 1999 · 260 citations

Programming Language Theory, Formal Specification, Engineering +6

Deep neural networks and mixed integer linear optimization

Matteo Fischetti, Jason Jo · 2018 · 250 citations

Deep Neural Networks, Engineering, Machine Learning +4

Practical applications of constraint programming

Mark Wallace · 1996 · 213 citations

Mathematical Programming, Constraint Solving, Engineering +6

Propagation via lazy clause generation

Olga Ohrimenko, Peter J. Stuckey, Michael Codish · 2009 · 211 citations

Syntax, Engineering, Automated Reasoning +8