Login / Signup

The 481 Ways to Split a Clause and Deal with Propositional Variables.

Krystof HoderAndrei Voronkov
Published in: CADE (2013)
Keyphrases
  • propositional variables
  • logic programming
  • boolean games
  • propositional logic
  • logic programs
  • game theory
  • conjunctive normal form
  • machine learning
  • inductive logic programming
  • propositional formulas