Login / Signup

α-group resolution method based on lattice-valued propositional logic LP(X).

Xiaomei ZhongYang Xu
Published in: FSKD (2011)
Keyphrases
  • propositional logic
  • objective function
  • np hard
  • constraint satisfaction
  • first order logic
  • constraint propagation
  • davis putnam