Advanced Boolean Techniques Selected Papers from the 13th International Workshop on Boolean Problems
By: Drechsler, Rolf
| Soeken, Mathias.
Publisher: Switzerland Springer 2020Description: p.265.ISBN: 9783030203252.Subject(s): Improving SAT Solving Using Monte Carlo Tree Search-Based Clause Learning | Literal Selection in Switching Lattice Design | Exact Synthesis of ESOP FormsDDC classification: 511.324 D76A
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
Books
|
CENTRAL LIBRARY | 511.324 D76A (Browse shelf) | Available | 105253 |
There are no comments for this item.