Drechsler, Rolf . Soeken, Mathias
Advanced Boolean Techniques Selected Papers from the 13th International Workshop on Boolean Problems - Switzerland Springer 2020 - p.265
9783030203252
Improving SAT Solving Using Monte Carlo Tree Search-Based Clause Learning Literal Selection in Switching Lattice Design Exact Synthesis of ESOP Forms
511.324 D76A
Advanced Boolean Techniques Selected Papers from the 13th International Workshop on Boolean Problems - Switzerland Springer 2020 - p.265
9783030203252
Improving SAT Solving Using Monte Carlo Tree Search-Based Clause Learning Literal Selection in Switching Lattice Design Exact Synthesis of ESOP Forms
511.324 D76A