Modern Cooperative Parallel SAT Solving.

Norbert Manthey Davide Lanti Ahmed Irfan

Published in: POS@SAT (2013)

Keyphrases

sat solving
cooperative
sat solvers
boolean satisfiability
sat problem
boolean optimization
information retrieval
lower bound
np complete
satisfiability problem
sat encodings