Chronological backtracking

DOI10.1007/978-3-319-94144-8_7zbMath1442.68219OpenAlexW4246783757MaRDI QIDQ1656569

Alexander Nadel, Vadim Ryvchin

Publication date: 10 August 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-94144-8_7

Mathematics Subject Classification ID

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

Related Items (7)

Generating Difficult CNF Instances in Unexplored Constrainedness Regions ⋮ Unnamed Item ⋮ SAT competition 2020 ⋮ Supercharging plant configurations using Z3 ⋮ Efficient all-UIP learned clause minimization ⋮ Assessing progress in SAT solvers through the Lens of incremental SAT ⋮ The \textsc{MergeSat} solver

Uses Software

• MiniSat

This page was built for publication: Chronological backtracking