On the community structure of bounded model checking SAT problems

DOI10.1007/978-3-319-66263-3_5zbMath1496.68361OpenAlexW2742798638MaRDI QIDQ1680243

Laurent Simon, Jesús Giráldez-Cru, Guillaume Baud-Berthier

Publication date: 15 November 2017

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (1)

Popularity-similarity random SAT formulas

Uses Software

• Chaff
• Plingeling
• Treengeling
• Splatz

This page was built for publication: On the community structure of bounded model checking SAT problems