Login / Signup

Encodings of Problems in Effectively Propositional Logic.

Juan Antonio Navarro PérezAndrei Voronkov
Published in: SAT (2007)
Keyphrases
  • propositional logic
  • belief revision
  • satisfiability testing
  • first order logic
  • propositional formulas
  • orders of magnitude
  • query language
  • np complete
  • solving hard