Determining the Number of Solutions to Binary CSP Instances.

Ola Angelsmark Peter Jonsson Svante Linusson Johan Thapper

Published in: CP (2002)

Keyphrases

small number
constraint satisfaction problems
objective function
computational complexity
benchmark problems
randomly generated
maximum number
test instances