Counting solutions to CSP using generating polynomials.

Daniel Berend Shahar Golan

Published in: J. Discrete Algorithms (2014)

Keyphrases

constraint satisfaction problems
real time
efficient solutions
solving constraint satisfaction problems
database
decision trees
dynamic constraint satisfaction problems