SAT heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers

DOI10.1007/978-3-030-51825-7_8OpenAlexW3046466158MaRDI QIDQ2661338

Laurent Simon, Gilles Audemard, Loïc Paulevé

Publication date: 7 April 2021

Full work available at URL: https://arxiv.org/abs/2006.01503

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 (1)

OptiLog: a framework for SAT-based systems

This page was built for publication: SAT heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers