A Generic Global Constraint based on MDDs

Peter Tiedemann Henrik Reif Andersen Rasmus Pagh

Published in: CoRR (2006)

Keyphrases

knowledge compilation
decision diagrams
domain specific
computational complexity