Logic and integer programming

DOI10.1007/978-0-387-92280-5MaRDI QIDQ999171zbMATH OpenOpenAlexFDO

Authors H. P. Williams

Publication date 3 February 2009

Published in International Series in Operations Research & Management Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-0-387-92280-5

Mathematics Subject Classification ID

Integer programming (90C10) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to operations research and mathematical programming (90-01) Mathematical programming (90Cxx)

Recommendations

• Integer Programming
• Applied integer programming. Modeling and solution.
• Linear and integer programming: Theory and practice.
• Linear and integer optimization. Theory and practice
• Integer Programming

Cited in

(25)

• Optimization of sparsity-constrained neural networks as a mixed integer linear program
• scientific article; zbMATH DE number 4102512 (Why is no real title available?)
• Bilevel integer programming on a Boolean network for discovering critical genetic alterations in cancer development and therapy
• Circular economy implementation in waste management network design problem: a case study
• Generalised Integer Programming Based on Logically Defined Relations
• A search of maximum generalized resolution quaternary-code designs via integer linear programming
• Logic-based decision support. Mixed integer model formulation
• Studying the effective brain connectivity using multiregression dynamic models
• Integrating cardinality constraints into constraint logic programming with sets
• The formulation and solution of discrete optimisation models
• Compact normal forms in propositional logic and integer programming formulations
• Modelling either-or relations in integer programming
• A linear and discrete programming framework for representing qualitative knowledge
• A practical three‐phase ILP approach for solving the examination timetabling problem
• Mixed integer linear programming formulation techniques
• Integer programs for logic constraint satisfaction
• Some notes on logical expression in the 0-1 integer programming model
• Logic applied to integer programming and integer programming applied to logic
• A mixed-integer linear programming formulation for the modular layout of three-dimensional connected systems
• Constructing integer programming models by the predicate calculus
• An introduction to the theory of linear integer arithmetic (invited paper)
• The problem with integer programming
• scientific article; zbMATH DE number 1256705 (Why is no real title available?)
• Probabilistic satisfiability and coherence checking through integer programming
• Network flow problem heuristic reduction using machine learning

This page was built for publication: Logic and integer programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q999171)