Backing backtracking

DOI10.1007/978-3-030-24258-9_18zbMath1441.68231OpenAlexW4243217271MaRDI QIDQ2181937

Armin Biere, Sibylle Möhle

Publication date: 20 May 2020

Full work available at URL: https://doi.org/10.1007/978-3-030-24258-9_18

Mathematics Subject Classification ID

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

Related Items (2)

Efficient all-UIP learned clause minimization ⋮ Assessing progress in SAT solvers through the Lens of incremental SAT

This page was built for publication: Backing backtracking