Distributed domain propagation

DOI10.4230/LIPICS.SEA.2017.6zbMATH Open1432.68416MaRDI QIDQ4580149FDOQ4580149

Authors: R. Gottwald, Stephen J. Maher, Yuji Shinano 

Publication date: 13 August 2018

Recommendations

• Parallelizing constraint programming with learning
• ManySAT: a parallel SAT solver
• Community branching for parallel portfolio SAT solvers
• HordeSat: a massively parallel portfolio SAT solver
• Learning parallel portfolios of algorithms

zbMATH Keywords

mixed integer programmingparallelizationdomain propagationportfolio solvers

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Mixed integer programming (90C11) Parallel algorithms in computer science (68W10)

Cited In (2)

• Theory of Cryptography
• The ubiquity generator framework: 7 years of progress in parallelizing branch-and-bound

This page was built for publication: Distributed domain propagation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4580149)