Equivalence Class Based Parity Reasoning with DPLL(XOR).

Tero Laitinen Tommi A. Junttila Ilkka Niemelä

Published in: ICTAI (2011)

Keyphrases

equivalence class
equivalence classes
directed acyclic graph
equivalence relation
propositional logic
sat solvers
knowledge representation
np complete
proof procedure
automated reasoning
data sets
knowledge base
computational intelligence
markov equivalence classes