Logic-based decision support. Mixed integer model formulation
From MaRDI portal
Research exposition (monographs, survey articles) pertaining to computer science (68-02) Research exposition (monographs, survey articles) pertaining to operations research and mathematical programming (90-02) Integer programming (90C10) Mixed integer programming (90C11) Mechanization of proofs and logical operations (03B35) Complexity of computation (including implicit computational complexity) (03D15)
Recommendations
Cited in
(30)- On the minimum number of logical clauses inferred from examples
- Many-valued logic and mixed integer programming
- Max Horn SAT and the minimum cut problem in directed hypergraphs
- Construction of rule-based assignment models
- Two mixed integer programming formulations arising in manufacturing management
- An alternative explanation of disjunctive formulations
- From LP to LP: Programming with constraints
- Inference of a minimum size Boolean function from examples by using a new efficient branch-and-bound approach
- scientific article; zbMATH DE number 7300319 (Why is no real title available?)
- An approach to guided learning of Boolean functions
- Compact normal forms in propositional logic and integer programming formulations
- Lift-and-project for mixed 0-1 programming: recent progress
- Formulating logical implications in combinatorial optimisation
- Mixed integer linear programming formulation techniques
- Zur Modellierung logischer Aussagen ergänzend zu Linearen Programmen. Grundlagen und Entwurfsüberlegungen für einen Modellgenerator. (Modelling logical predicates in addition to linear programs. Foundations and design considerations for a model generator)
- A hierarchy of relaxations for linear generalized disjunctive programming
- Logic cuts for processing networks with fixed charges
- Three models of fuzzy integer linear programming
- Logic applied to integer programming and integer programming applied to logic
- Combining instance generation and resolution
- Projection, lifting and extended formulation integer and combinatorial optimization
- Mixed logical-linear programming
- Solving linear optimization over arithmetic constraint formula
- scientific article; zbMATH DE number 5584354 (Why is no real title available?)
- New tractable classes for default reasoning from conditional knowledge bases
- The problem of asking the minimum number of questions in Horn clause systems
- The splitting of variables and constraints in the formulation of integer programming models
- Fuzzy description logics with general t-norms and datatypes
- Solving disjunctive fuzzy answer set programs
- Linear temporal logic vehicle routing with applications to multi-UAV mission planning
This page was built for publication: Logic-based decision support. Mixed integer model formulation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1210858)
