Community branching for parallel portfolio SAT solvers

DOI10.1007/978-3-319-09284-3_14MaRDI QIDQ3192065zbMATH OpenOpenAlexFDO

Authors Tomohiro Sonobe, Shuya Kondoh, Mary Inaba

Publication date 26 September 2014

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-09284-3_14

zbMATH Keywords

community detectiondecisiondiversificationparallel SAT solverportfolio

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• ManySAT: a parallel SAT solver
• HordeSat: a massively parallel portfolio SAT solver
• Learning parallel portfolios of algorithms
• Partitioning SAT instances for distributed solving
• Community structure in industrial SAT instances

Cited in

(8)

• Cooperative parallel SAT local search with path relinking
• Portfolio theorem proving and prover runtime prediction for geometry
• Generating SAT instances with community structure
• Impact of Community Structure on SAT Solver Performance
• ManySAT: a parallel SAT solver
• Distributed domain propagation
• Community-Based Partitioning for MaxSAT Solving
• Diversifying a parallel SAT solver with Bayesian moment matching

This page was built for publication: Community branching for parallel portfolio SAT solvers

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