Optimization and Relaxation in Constraint Logic Languages.
Kannan GovindarajanBharat JayaramanSurya ManthaPublished in: POPL (1996)
Keyphrases
- constraint language
- optimization algorithm
- expressive power
- optimization process
- optimization method
- constrained optimization
- convex relaxation
- classical logic
- global optimization
- modal logic
- databases
- language independent
- logic programming
- cross lingual
- text summarization
- iterative algorithms
- semidefinite
- optimization problems