The \textsc{MergeSat} solver

DOI10.1007/978-3-030-80223-3_27OpenAlexW3184772779MaRDI QIDQ2118329FDOQ2118329

Authors: Norbert Manthey 

Publication date: 22 March 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-80223-3_27

Recommendations

• The \(Multi\)-SAT algorithm
• Theory and Applications of Satisfiability Testing
• A synthesis of constraint satisfaction and constraint solving
• Integrating algebraic and SAT solvers
• ManySAT: a parallel SAT solver
• Theory and Applications of Satisfiability Testing
• MaxSolver: An efficient exact algorithm for (weighted) maximum satisfiability
• Combining preorder and postorder resolution in a satisfiability solver

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Analysis of algorithms and problem complexity (68Q25) Computational aspects of satisfiability (68R07)

Cites Work

• Theory and Applications of Satisfiability Testing
• Paramils: an automatic algorithm configuration framework
• DRAT-trim: Efficient Checking and Trimming Using Expressive Clausal Proofs
• Open-WBO: A Modular MaxSAT Solver,
• Improving implementation of SAT competitions 2017--2019 winners
• SAT race 2015
• Between SAT and UNSAT: The Fundamental Difference in CDCL SAT
• Improving resource-unaware SAT solvers
• Tools and Algorithms for the Construction and Analysis of Systems
• Improving Glucose for Incremental SAT Solving with Assumptions: Application to MUS Extraction
• HordeSat: A Massively Parallel Portfolio SAT Solver
• Paracooba
• Kissat
• Chronological backtracking
• SpyBug: Automated Bug Detection in the Configuration Space of SAT Solvers
• Trail saving on backtrack
• Speeding up assumption-based SAT
• Reusing the assignment trail in CDCL solvers
• Empirical study of the anatomy of modern SAT solvers

Cited In (2)

• MergeSat
• MedleySolver: online SMT algorithm selection

Uses Software

• MiniSat
• Paramils
• Valgrind
• Plingeling
• PrecoSAT
• Glucose
• CBMC
• Open-WBO
• Treengeling
• HordeSat
• Spybug
• COMiniSatPS
• Travis CI
• Lingeling
• MapleCOMSPS
• MapleCOMSPS_LRB
• YalSAT
• CaDiCaL
• GitHub
• Maple_LCM_Dist_ChronoBT
• Paracooba
• Kissat

This page was built for publication: The \textsc{MergeSat} solver

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