Improving implementation of SAT competitions 2017--2019 winners

DOI10.1007/978-3-030-51825-7_11OpenAlexW3039580867MaRDI QIDQ2661342

Stepan Kochemazov

Publication date: 7 April 2021

Full work available at URL: https://doi.org/10.1007/978-3-030-51825-7_11

zbMATH Keywords

heuristicsSATSAT solvers

Mathematics Subject Classification ID

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

Related Items (2)

Boosting branch-and-bound MaxSAT solvers with clause learning ⋮ The \textsc{MergeSat} solver

Uses Software

• MiniSat
• Chaff
• Plingeling
• Treengeling
• Lingeling
• MapleCOMSPS
• MapleCOMSPS_LRB
• YalSAT
• CaDiCaL

This page was built for publication: Improving implementation of SAT competitions 2017--2019 winners