Normal view MARC view ISBD view

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
    average rating: 0.0 (0 votes)
Item type Current location Call number Status Date due Barcode
Books Books CENTRAL LIBRARY
511.324 D76A (Browse shelf) Available 105253

There are no comments for this item.

Log in to your account to post a comment.