Logic-based decision support. Mixed integer model formulation
From MaRDI portal
Publication:1210858
zbMath0698.90062MaRDI QIDQ1210858
Publication date: 5 June 1993
Published in: Annals of Discrete Mathematics (Search for Journal in Brave)
Integer programming (90C10) Mixed integer programming (90C11) Mechanization of proofs and logical operations (03B35) Complexity of computation (including implicit computational complexity) (03D15) Research exposition (monographs, survey articles) pertaining to operations research and mathematical programming (90-02) Research exposition (monographs, survey articles) pertaining to computer science (68-02)
Related Items
Inference of a minimum size Boolean function from examples by using a new efficient branch-and-bound approach, Solving Disjunctive Fuzzy Answer Set Programs, The problem of asking the minimum number of questions in Horn clause systems, Linear temporal logic vehicle routing with applications to multi-UAV mission planning, An approach to guided learning of Boolean functions, On the minimum number of logical clauses inferred from examples, Max Horn SAT and the minimum cut problem in directed hypergraphs, Solving linear optimization over arithmetic constraint formula, Many-valued logic and mixed integer programming, Logic applied to integer programming and integer programming applied to logic, Three models of fuzzy integer linear programming, From LP to LP: Programming with constraints, A hierarchy of relaxations for linear generalized disjunctive programming, 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), Mixed logical-linear programming, Lift-and-project for mixed 0-1 programming: recent progress, New tractable classes for default reasoning from conditional knowledge bases, Mixed Integer Linear Programming Formulation Techniques, Two mixed integer programming formulations arising in manufacturing management, The splitting of variables and constraints in the formulation of integer programming models, Combining Instance Generation and Resolution, Fuzzy description logics with general t-norms and datatypes, Formulating logical implications in combinatorial optimisation, Construction of rule-based assignment models, Logic cuts for processing networks with fixed charges, An alternative explanation of disjunctive formulations, Projection, lifting and extended formulation integer and combinatorial optimization
