Logic and integer programming
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) Integer programming (90C10) Mathematical programming (90Cxx)
The present book comes in the trend of the extended and long known work of H. Paul Williams on integer programming. Following a tempting connection, also pursued by others (as credited), the author exposes most known concepts and results on integer programming through logic theory, exhibiting modeling and solving advantages. It also shows how integer programming can model logical requirements appearing in a number of combinatorial optimization problems. With a simple and accurate exposition, the present book organizes and links the most interesting ideas on the mentioned connection, highlighting and exploring the inherent decision processes and ingredients usually found in linear and integer programming. This is an important book for both graduate and post-graduate students, providing more concise descriptions and a clearer understanding of linear integer programming concepts and applications. It may be particularly valuable in courses with strong computational skills.
- Modelling either-or relations in integer programming
- Logic applied to integer programming and integer programming applied to logic
- Integer programs for logic constraint satisfaction
- Logic-based decision support. Mixed integer model formulation
- Integer optimization by local search. A domain-independent approach
- A linear and discrete programming framework for representing qualitative knowledge
- Logic, modeling, and programming
- Studying the effective brain connectivity using multiregression dynamic models
- Bilevel integer programming on a Boolean network for discovering critical genetic alterations in cancer development and therapy
- A mixed-integer linear programming formulation for the modular layout of three-dimensional connected systems
- Circular economy implementation in waste management network design problem: a case study
- Probabilistic satisfiability and coherence checking through integer programming
- A search of maximum generalized resolution quaternary-code designs via integer linear programming
- Mixed integer linear programming formulation techniques
- The problem with integer programming
- Some notes on logical expression in the 0-1 integer programming model
- scientific article; zbMATH DE number 4102512 (Why is no real title available?)
- scientific article; zbMATH DE number 1256705 (Why is no real title available?)
- The formulation and solution of discrete optimisation models
- Generalised Integer Programming Based on Logically Defined Relations
- A practical three‐phase ILP approach for solving the examination timetabling problem
- Optimization of sparsity-constrained neural networks as a mixed integer linear program
- Network flow problem heuristic reduction using machine learning
- Integrating cardinality constraints into constraint logic programming with sets
- An introduction to the theory of linear integer arithmetic (invited paper)
- Compact normal forms in propositional logic and integer programming formulations
- Constructing integer programming models by the predicate calculus
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)
