Carlos Rodríguez, Marcos Villagra, Benjamín Barán. Asynchronous Team Algorithms for Boolean Satisfiability. In Falko Dressler, editor, 2nd International ICST Conference on Bio-Inspired Models of Network, Information, and Computing Systems, BIONETICS 2007, Budapest, Hungary, December 10-13, 2007. pages 66-69, ICST, 2007. [doi]
Abstract is missing.