Deciding Satisfiability of Positive Second Order Joinability Formulae.
Sébastien LimetPierre PillotPublished in: LPAR (2006)
Keyphrases
- positive and negative
- satisfiability problem
- higher order
- np complete
- propositional logic
- sat problem
- computational complexity
- positively correlated
- positive feedback
- symmetry breaking
- database
- high order
- propositional theories
- directional derivatives
- stochastic local search
- pairwise
- knowledge base
- decision making
- neural network
- databases
- data sets