Login / Signup

Deterministic Parallel MaxSAT Solving.

Ruben MartinsVasco M. ManquinhoInê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