Satisfiability of Inequalities in a Poset.
Vaughan R. PrattJerzy TiurynPublished in: Fundam. Informaticae (1996)
Keyphrases
- satisfiability problem
- partial order
- sufficient conditions
- np complete
- linear inequalities
- partially ordered
- computational complexity
- phase transition
- propositional logic
- partially ordered sets
- decision procedures
- stable marriage
- integer solution
- sat problem
- cutting plane algorithm
- terminological reasoning
- totally ordered
- valid inequalities
- mixed integer
- automated reasoning
- facet defining inequalities
- lower bound