A linear and discrete programming framework for representing qualitative knowledge
From MaRDI portal
Publication:1309850
DOI10.1016/0165-1889(94)90079-5zbMath0782.90103MaRDI QIDQ1309850
Eleni Hadjiconstantinou, Gautam Mitra
Publication date: 28 February 1994
Published in: Journal of Economic Dynamics \& Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0165-1889(94)90079-5
90C90: Applications of mathematical programming
90C10: Integer programming
90C11: Mixed integer programming
03B80: Other applications of logic
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Maintaining knowledge about temporal intervals
- Compact normal forms in propositional logic and integer programming formulations
- Constructing integer programming models by the predicate calculus
- Resolution vs. cutting plane solution of inference problems: Some computational experience
- A language and a program for stating and solving combinatorial problems
- LP modeling languages for personal computers: A comparison
- A Way to Simplify Truth Functions
- Maximizing Submodular Set Functions: Formulations and Analysis of Algorithms
- Analysis of mathematical programming problems prior to applying the simplex algorithm
- The Semantics of Predicate Logic as a Programming Language
- Media Selection and Fuzzy Linear Programming
- Solving Airline Crew Scheduling Problems by Branch-and-Cut
- A Machine-Oriented Logic Based on the Resolution Principle
- Introduction to Mathematical Logic (PMS-13)