A satisfiability algorithm for AC0. Impagliazzo, R., Matthews, W., & Paturi, R. In Proceedings of the Twenty-Third Annual ACM-SIAM Symposium on Discrete Algorithms, of SODA '12, pages 961–972, 2012. SIAM. Paper bibtex @inproceedings{Impagliazzo:2012:SAA:2095116.2095193,
author = {Impagliazzo, Russell and Matthews, William and Paturi, Ramamohan},
title = {A satisfiability algorithm for AC0},
booktitle = {Proceedings of the Twenty-Third Annual ACM-SIAM Symposium on Discrete Algorithms},
series = {SODA '12},
year = {2012},
location = {Kyoto, Japan},
pages = {961--972},
numpages = {12},
url = {http://dl.acm.org/citation.cfm?id=2095116.2095193},
acmid = {2095193},
publisher = {SIAM},
}
Downloads: 0
{"_id":{"_str":"534243b90e946d920a00041d"},"__v":1,"authorIDs":[],"author_short":["Impagliazzo, R.","Matthews, W.","Paturi, R."],"bibbaseid":"impagliazzo-matthews-paturi-asatisfiabilityalgorithmforac0-2012","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Impagliazzo"],"firstnames":["Russell"],"suffixes":[]},{"propositions":[],"lastnames":["Matthews"],"firstnames":["William"],"suffixes":[]},{"propositions":[],"lastnames":["Paturi"],"firstnames":["Ramamohan"],"suffixes":[]}],"title":"A satisfiability algorithm for AC0","booktitle":"Proceedings of the Twenty-Third Annual ACM-SIAM Symposium on Discrete Algorithms","series":"SODA '12","year":"2012","location":"Kyoto, Japan","pages":"961–972","numpages":"12","url":"http://dl.acm.org/citation.cfm?id=2095116.2095193","acmid":"2095193","publisher":"SIAM","bibtex":"@inproceedings{Impagliazzo:2012:SAA:2095116.2095193,\n author = {Impagliazzo, Russell and Matthews, William and Paturi, Ramamohan},\n title = {A satisfiability algorithm for AC0},\n booktitle = {Proceedings of the Twenty-Third Annual ACM-SIAM Symposium on Discrete Algorithms},\n series = {SODA '12},\n year = {2012},\n location = {Kyoto, Japan},\n pages = {961--972},\n numpages = {12},\n url = {http://dl.acm.org/citation.cfm?id=2095116.2095193},\n acmid = {2095193},\n publisher = {SIAM},\n}\n\n\n","author_short":["Impagliazzo, R.","Matthews, W.","Paturi, R."],"key":"Impagliazzo:2012:SAA:2095116.2095193","id":"Impagliazzo:2012:SAA:2095116.2095193","bibbaseid":"impagliazzo-matthews-paturi-asatisfiabilityalgorithmforac0-2012","role":"author","urls":{"Paper":"http://dl.acm.org/citation.cfm?id=2095116.2095193"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"people.csail.mit.edu/andyd/CCI_refs.bib","downloads":0,"keywords":[],"search_terms":["satisfiability","algorithm","ac0","impagliazzo","matthews","paturi"],"title":"A satisfiability algorithm for AC0","year":2012,"dataSources":["Te9pFfTBkQvusPFGk","6sSgqzaHAPRWvSxTP"]}