Login / Signup
Deterministic Parallel MaxSAT Solving.
Ruben Martins
Vasco M. Manquinho
Inês Lynce
Published in:
Int. J. Artif. Intell. Tools (2015)
Keyphrases
</>
combinatorial optimization
shared memory
parallel implementation
real time
search algorithm
parallel computing
distributed memory
data sets
parallel algorithm
branch and bound algorithm
sat solvers