Normal view
MARC view
Improving SAT Solving Using Monte Carlo Tree Search-Based Clause Learning (Topical Term)
Machine generated authority record.
Work cat.: (OSt)60560: Drechsler, Rolf . 1810, Advanced Boolean Techniques Selected Papers from the 13th International Workshop on Boolean Problems, 2020