@techreport{Woodward:2016TR:0006,
 AUTHOR = {Robert J. Woodward and Shant Karakashian and Berthe Y. Choueiry and Christian Bessiere},
 TITLE = {{Witnessing Solution Counting in Tree-Structured Methods for CSPs}},
  YEAR = 2016,
  TYPE = {Technical Report},
  NUMBER = {TR-UNL-CSE-2016-0006},
 INSTITUTION = {Department of Computer Science and Engineering, University of Nebraska-Lincoln},
  ADDRESS = {Lincoln, NE}}