Keyphrases
- elementary functions
- integer solution
- integer variables
- real valued
- integer valued
- boolean functions
- sufficient conditions
- linear inequalities
- mixed integer
- multiresolution
- branch and bound algorithm
- boolean logic
- boolean queries
- genetic algorithm
- planar graphs
- linear complementarity problem
- network design problem
- floating point
- mixed integer linear programs
- information systems
- facet defining inequalities
- integer points
- risk bounds
- data dependent
- knapsack problem
- website
- search engine