Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy. Towards Industrial-Like Random SAT Instances. In Craig Boutilier, editor, IJCAI 2009, Proceedings of the 21st International Joint Conference on Artificial Intelligence, Pasadena, California, USA, July 11-17, 2009. pages 387-392, 2009. [doi]
@inproceedings{AnsoteguiBL09-1,
title = {Towards Industrial-Like Random SAT Instances},
author = {Carlos Ansótegui and Maria Luisa Bonet and Jordi Levy},
year = {2009},
url = {http://ijcai.org/papers09/Papers/IJCAI09-072.pdf},
researchr = {https://researchr.org/publication/AnsoteguiBL09-1},
cites = {0},
citedby = {0},
pages = {387-392},
booktitle = {IJCAI 2009, Proceedings of the 21st International Joint Conference on Artificial Intelligence, Pasadena, California, USA, July 11-17, 2009},
editor = {Craig Boutilier},
}