Community Branching for Parallel Portfolio SAT Solvers

DOI10.1007/978-3-319-09284-3_14zbMath1423.68472OpenAlexW193263981MaRDI QIDQ3192065

Tomohiro Sonobe, Mary Inaba, Shuya Kondoh

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

portfoliodecisiondiversificationcommunity detectionparallel SAT solver

Mathematics Subject Classification ID

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

Related Items (2)

Portfolio theorem proving and prover runtime prediction for geometry ⋮ Generating SAT instances with community structure

This page was built for publication: Community Branching for Parallel Portfolio SAT Solvers