Drechsler, Rolf . Soeken, Mathias <br/><br/>
Advanced Boolean Techniques Selected Papers from the 13th International Workshop on Boolean Problems 

 - Switzerland  Springer  2020 
 - p.265 
<br/><br/><label>ISBN: </label>9783030203252 
<br/><br/><label>Subjects--Topical Terms: </label> Improving SAT Solving Using Monte Carlo Tree Search-Based Clause Learning  Literal Selection in Switching Lattice Design  Exact Synthesis of ESOP Forms 
<br/><br/><label>Dewey Class. No.: </label>511.324 D76A