Sherali-Adams Relaxations and Indistinguishability in Counting Logics.
Albert AtseriasElitza N. ManevaPublished in: SIAM J. Comput. (2013)
Keyphrases
- lp relaxation
- lower bound
- mixed integer
- expressive power
- database views
- np hard
- linear programming
- modal logic
- linear program
- encryption scheme
- propositional calculus
- classical logic
- semidefinite
- nonmonotonic logics
- genetic algorithm
- inference rules
- linear programming relaxation
- integer programming
- message passing
- neural network
- propositional dynamic logic