Counting solutions to CSP using generating polynomials

Daniel Berend, Shahar Golan

Research output: Contribution to journalArticlepeer-review


Constraint Satisfaction Problems (CSPs) are ubiquitous in computer science and specifically in AI. This paper presents a method of solving the counting problem for a wide class of CSPs using generating polynomials. Analysis of our method shows that it is much more efficient than the classic dynamic programming approach. For example, in the case of #SAT, our algorithm improves a result of Samer and Szeider. The presented algorithms mostly use algebraic operations on multivariate polynomials, which allows application of known optimizations and makes it possible to use existing software to implement them easily.

Original languageEnglish
Pages (from-to)89-97
Number of pages9
JournalJournal of Discrete Algorithms
StatePublished - 1 Jan 2014


  • Constraint satisfaction problem
  • Counting problem
  • Generating functions
  • Treewidth

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Discrete Mathematics and Combinatorics
  • Computational Theory and Mathematics


Dive into the research topics of 'Counting solutions to CSP using generating polynomials'. Together they form a unique fingerprint.

Cite this