Counting Predicates, Subset Surjective Functions, and Counting CSPs.

Andrei A. Bulatov Amir Hedayaty

Published in: ISMVL (2012)

Keyphrases

constraint satisfaction
data sets
basis functions
symmetry breaking
databases
data mining
information retrieval
website
case study
scheduling problem
constraint satisfaction problems
global constraints
non binary
decision diagrams