Closing the Gap Between Short and Long XORs for Model …

Closing the Gap Between Short and Long XORs for Model Counting Shengjia Zhao Computer Science Department Tsinghua University zhaosj12@mails.tsinghua.edu.cn

  Model, Between, Short, Long, Closing, Counting, Closing the gap between short, Long xors for model, Xors, Long xors for model counting