Example: dental hygienist
Search results with tag "Xors"
Closing the Gap Between Short and Long XORs for Model …
arxiv.orgClosing the Gap Between Short and Long XORs for Model Counting Shengjia Zhao Computer Science Department Tsinghua University zhaosj12@mails.tsinghua.edu.cn