Open AccessClosing the Gap Between Short and Long XORs for Model Counting
Author(s) -
Shengjia Zhao,
Sorathan Chaturapruek,
Ashish Sabharwal,
Stefano Ermon
Publication year - 2016
Publication title -
proceedings of the ... aaai conference on artificial intelligence
Language(s) - English
Resource type - Journals
eISSN - 2374-3468
pISSN - 2159-5399
DOI - 10.1609/aaai.v30i1.10430
Subject(s) - parity (physics) , modulo , mathematics , satisfiability , discrete mathematics , computer science , counting problem , matching (statistics) , algorithm , theoretical computer science , combinatorics , statistics , physics , particle physics