Distributed domain propagation

DOI10.4230/LIPICS.SEA.2017.6MaRDI QIDQ4580149zbMATH OpenFDO

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

Publication date 13 August 2018

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)

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

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)