Juan Pazos, Alfonso Rodríguez-Patón, Andrés Silva. Solving SAT in Linear Time with a Neural-Like Membrane System. In José Mira, José R. Álvarez, editors, Artificial Neural Nets Problem Solving Methods, 7th International Work-Conference on Artificial and Natural Neural Networks, IWANN2003, Maó, Menorca, Spain, June 3-6, 2003 Proceedings, Part I. Volume 2686 of Lecture Notes in Computer Science, pages 662-669, Springer, 2003. [doi]
@inproceedings{PazosRS03, title = {Solving SAT in Linear Time with a Neural-Like Membrane System}, author = {Juan Pazos and Alfonso Rodríguez-Patón and Andrés Silva}, year = {2003}, url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2686&spage=662}, researchr = {https://researchr.org/publication/PazosRS03}, cites = {0}, citedby = {0}, pages = {662-669}, booktitle = {Artificial Neural Nets Problem Solving Methods, 7th International Work-Conference on Artificial and Natural Neural Networks, IWANN2003, Maó, Menorca, Spain, June 3-6, 2003 Proceedings, Part I}, editor = {José Mira and José R. Álvarez}, volume = {2686}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-40210-1}, }