Daniel S. Farenzena, Luís C. Lamb, Ricardo M. Araujo. Combining Human Reasoning and Machine Computation: Towards a Memetic Network Solution to Satisfiability. In Maria Fox, David Poole, editors, Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2010, Atlanta, Georgia, USA, July 11-15, 2010. pages 1929-1930, AAAI Press, 2010. [doi]
@inproceedings{FarenzenaLA10,
title = {Combining Human Reasoning and Machine Computation: Towards a Memetic Network Solution to Satisfiability},
author = {Daniel S. Farenzena and Luís C. Lamb and Ricardo M. Araujo},
year = {2010},
url = {http://www.aaai.org/ocs/index.php/AAAI/AAAI10/paper/view/1637},
tags = {C++},
researchr = {https://researchr.org/publication/FarenzenaLA10},
cites = {0},
citedby = {0},
pages = {1929-1930},
booktitle = {Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2010, Atlanta, Georgia, USA, July 11-15, 2010},
editor = {Maria Fox and David Poole},
publisher = {AAAI Press},
}