Concepedia
Computers & Chemical Engineering · 2015 · 80 citations · 21 references
Open access
ComputingComputer ScienceMathematicsAlgorithmsFormal MethodsBoolean AlgebraData-flow AnalysisLogic ProgrammingProof Complexity
21
Integer and Combinatorial Optimization
H. P. Williams, George L. Nemhauser, Laurence A. Wolsey · Journal of the Operational Research Society · 1990 · 5.6K citations
Natural Sciences, Mathematics, Algorithms +11
Control of systems integrating logic, dynamics, and constraints
Alberto Bemporad, Manfred Morari · Automatica · 1999 · 3.1K citations
Engineering, Computer Science, Systems Engineering +10
Model Building in Mathematical Programming
Mike Maher, H. P. Williams · Journal of the Operational Research Society · 1979 · 1.3K citations
Natural Sciences, Mathematics, Mathematics Education +11
Review of Nonlinear Mixed-Integer and Disjunctive Programming Techniques
Ignacio E. Grossmann · Optimization and Engineering · 2002 · 601 citations
Natural Sciences, Mathematics, Discrete Mathematics +12
Modelling and computational techniques for logic based integer programming
Ramesh Raman, Ignacio E. Grossmann · Computers & Chemical Engineering · 1994 · 547 citations
Humanities, Computer Science, Mathematics +12