Symmetry as a Base for a New Decomposition of Boolean Logic.

Published in: IWLS (2002)

Keyphrases

boolean logic
truth values
symmetry detection
decomposition method
bilateral symmetry
decomposition algorithm
decomposition methods
databases
artificial intelligence
training set
relational databases
graphical models
constraint satisfaction problems
inference rules