Computational Experience with an Interior Point Algorithm on the Satisfiability Problem.
Anil P. KamathNarendra KarmarkarK. G. RamakrishnanMauricio G. C. ResendePublished in: IPCO (1990)
Keyphrases
- satisfiability problem
- interior point algorithm
- np complete
- temporal logic
- phase transition
- linear programming
- search algorithm
- stochastic local search algorithms
- sat problem
- davis putnam logemann loveland
- interior point methods
- sat instances
- max sat
- stochastic local search
- primal dual
- multicriteria optimization
- simplex method
- knowledge representation
- mazurkiewicz traces
- weighted max sat
- machine learning