Trail saving on backtrack

DOI10.1007/978-3-030-51825-7_4OpenAlexW3039702553MaRDI QIDQ2661333

Randy Hickey, Fahiem Bacchus

Publication date: 7 April 2021

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

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)

SAT competition 2020 ⋮ The \textsc{MergeSat} solver

This page was built for publication: Trail saving on backtrack