Determining the number of solutions to binary CSP instances
Ola Angelsmark,
Peter Jonsson,
Svante Linusson,
and Johan Thapper
Proc. 8th Int. Conf. Principles & Practice of Constraint Programming (CP 2002), Lecture Notes in Computer Science 2470, Pascal Van Hentenryck, ed., Springer-Verlag, Sep 2002, pp. 327–340
http://www.ida.liu.se/~olaan/papers/counting_solutions.ps
Cites:
