Now showing items 1-1 of 1

    • Constrained Counting and Sampling: Bridging the Gap Between Theory and Practice 

      Meel, Kuldeep Singh (2017-09-29)
      Constrained counting and sampling are two fundamental problems in Computer Science with numerous applications, including network reliability, privacy, probabilistic reasoning, and constrained-random verification. In constrained counting, the task is to compute the total weight, subject to a given weighting function, of the set of solutions of the ...