Tractability Through Symmetries in Propositional Calculus.

Belaid Benhamou Lakhdar Sais

Published in: J. Autom. Reason. (1994)

Keyphrases

propositional calculus
np complete
constraint satisfaction
computational complexity
global constraints
image processing
neural network
social networks
decision trees
multiresolution