A linear and discrete programming framework for representing qualitative knowledge

DOI10.1016/0165-1889(94)90079-5MaRDI QIDQ1309850zbMATH OpenOpenAlexFDO

Authors Eleni Hadjiconstantinou, Gautam Mitra

Publication date 28 February 1994

Published in Journal of Economic Dynamics and Control (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0165-1889(94)90079-5

zbMATH Keywords

planningresource allocationscheduling

Mathematics Subject Classification ID

Other applications of logic (03B80) Integer programming (90C10) Mixed integer programming (90C11) Applications of mathematical programming (90C90)

Recommendations

• Logic and integer programming
• Tight representation of logical constraints as cardinality rules
• Some notes on logical expression in the 0-1 integer programming model
• Logic, modeling, and programming
• Representing knowledge about linear programming formulation

Cites work

• A language and a program for stating and solving combinatorial problems
• A Machine-Oriented Logic Based on the Resolution Principle
• A Way to Simplify Truth Functions
• Analysis of mathematical programming problems prior to applying the simplex algorithm
• Compact normal forms in propositional logic and integer programming formulations
• Constructing integer programming models by the predicate calculus
• scientific article; zbMATH DE number 3891096 (Why is no real title available?)
• scientific article; zbMATH DE number 4097127 (Why is no real title available?)
• scientific article; zbMATH DE number 3177183 (Why is no real title available?)
• scientific article; zbMATH DE number 3204592 (Why is no real title available?)
• scientific article; zbMATH DE number 3247783 (Why is no real title available?)
• Introduction to Mathematical Logic (PMS-13)
• LP modeling languages for personal computers: A comparison
• Maintaining knowledge about temporal intervals
• Maximizing Submodular Set Functions: Formulations and Analysis of Algorithms
• Media Selection and Fuzzy Linear Programming
• Resolution vs. cutting plane solution of inference problems: Some computational experience
• Solving Airline Crew Scheduling Problems by Branch-and-Cut
• The Semantics of Predicate Logic as a Programming Language

Cited in

(1)

• A mathematical programming model for multiple integrated MRP planning stages

This page was built for publication: A linear and discrete programming framework for representing qualitative knowledge

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