On the effect of learned clauses on stochastic local search

DOI10.1007/978-3-030-51825-7_7OpenAlexW3046220846MaRDI QIDQ2661337

Florian Wörz, Jan-Hendrik Lorenz

Publication date: 7 April 2021

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

zbMATH Keywords

stochastic local searchconflict-driven clause learninglearned clauses

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)

Machine learning and logic: a new frontier in artificial intelligence ⋮ Deep cooperation of CDCL and local search for SAT

This page was built for publication: On the effect of learned clauses on stochastic local search