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)
90C10: Integer programming
90C11: Mixed integer programming
03B35: Mechanization of proofs and logical operations
03D15: Complexity of computation (including implicit computational complexity)
90-02: Research exposition (monographs, survey articles) pertaining to operations research and mathematical programming
68-02: Research exposition (monographs, survey articles) pertaining to computer science
Related Items
Lift-and-project for mixed 0-1 programming: recent progress, Projection, lifting and extended formulation integer and combinatorial optimization, 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), Fuzzy description logics with general t-norms and datatypes, Logic applied to integer programming and integer programming applied to logic, Two mixed integer programming formulations arising in manufacturing management, The splitting of variables and constraints in the formulation of integer programming models, Logic cuts for processing networks with fixed charges, An alternative explanation of disjunctive formulations, Inference of a minimum size Boolean function from examples by using a new efficient branch-and-bound approach, The problem of asking the minimum number of questions in Horn clause systems, Max Horn SAT and the minimum cut problem in directed hypergraphs, Three models of fuzzy integer linear programming, Formulating logical implications in combinatorial optimisation, Construction of rule-based assignment models, An approach to guided learning of Boolean functions, On the minimum number of logical clauses inferred from examples, Many-valued logic and mixed integer programming, Mixed logical-linear programming, New tractable classes for default reasoning from conditional knowledge bases
