Non-clausal Redundancy Properties.

Lee A. Barnett Armin Biere

Published in: CADE (2021)

Keyphrases

desirable properties
bayesian networks
constraint propagation
databases
machine learning
artificial intelligence
search space
structural properties