Hana Chockler, Alexander Ivrii, Arie Matsliah, Simone Fulvio Rollini, Natasha Sharygina. Using cross-entropy for satisfiability. In Sung Y. Shin, José Carlos Maldonado, editors, Proceedings of the 28th Annual ACM Symposium on Applied Computing, SAC '13, Coimbra, Portugal, March 18-22, 2013. pages 1196-1203, ACM, 2013. [doi]
@inproceedings{ChocklerIMRS13,
title = {Using cross-entropy for satisfiability},
author = {Hana Chockler and Alexander Ivrii and Arie Matsliah and Simone Fulvio Rollini and Natasha Sharygina},
year = {2013},
doi = {10.1145/2480362.2480588},
url = {http://doi.acm.org/10.1145/2480362.2480588},
researchr = {https://researchr.org/publication/ChocklerIMRS13},
cites = {0},
citedby = {0},
pages = {1196-1203},
booktitle = {Proceedings of the 28th Annual ACM Symposium on Applied Computing, SAC '13, Coimbra, Portugal, March 18-22, 2013},
editor = {Sung Y. Shin and José Carlos Maldonado},
publisher = {ACM},
isbn = {978-1-4503-1656-9},
}