Anton Belov, Matti Järvisalo, Zbigniew Stachniak. Depth-Driven Circuit-Level Stochastic Local Search for SAT. In Toby Walsh, editor, IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011. pages 504-509, IJCAI/AAAI, 2011. [doi]
@inproceedings{BelovJS11,
title = {Depth-Driven Circuit-Level Stochastic Local Search for SAT},
author = {Anton Belov and Matti Järvisalo and Zbigniew Stachniak},
year = {2011},
url = {http://ijcai.org/papers11/Papers/IJCAI11-092.pdf},
tags = {search},
researchr = {https://researchr.org/publication/BelovJS11},
cites = {0},
citedby = {0},
pages = {504-509},
booktitle = {IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011},
editor = {Toby Walsh},
publisher = {IJCAI/AAAI},
isbn = {978-1-57735-516-8},
}