Login / Signup
What makes normalized weighted satisfiability tractable
Iyad A. Kanj
Ge Xia
Published in:
CoRR (2011)
Keyphrases
</>
np complete
computational complexity
satisfiability problem
similarity measure
artificial intelligence
weighted sum
propositional logic
np hard
phase transition
terminological reasoning
database
decision procedures
expressive power
special case
case study
decision trees
genetic algorithm
neural network