Asynchronous Team Algorithms for Boolean Satisfiability.

Carlos Rodríguez Marcos Villagra Benjamín Barán

Published in: BIONETICS (2007)

Keyphrases

boolean satisfiability
learning algorithm
data structure
search algorithm
optimization problems
lower bound
domain specific
sat solvers
maximum satisfiability