"Asynchronous Team Algorithms for Boolean Satisfiability."

Carlos Rodríguez, Marcos Villagra, Benjamín Barán (2007)

Details and statistics

DOI: 10.4108/ICST.BIONETICS2007.2425

access: closed

type: Conference or Workshop Paper

metadata version: 2022-12-07

a service of  Schloss Dagstuhl - Leibniz Center for Informatics