Cover image

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 Forms

DDC classification: 511.324 D76A

average rating: 0.0 (0 votes)

Holdings ( 1 )
Comments ( 0 )
Book reviews by critics ( XXX )

Item type	Current location	Call number	Status	Date due	Barcode
Books	CENTRAL LIBRARY	511.324 D76A (Browse shelf)	Available		105253

Browsing CENTRAL LIBRARY Shelves Close shelf browser

Previous	No cover image available		No cover image available			No cover image available	No cover image available	Next
Previous	511.324 C889 BOOLEAN FUNCTIONS: THEORY, ALGORITHMS, AND APPLICATIONS	511.324 C984 CRYPTOGRAPHIC BOOLEAN FUNCTIONS AND APPLICATIONS	511.324 D45 ANALYSIS OF BOOLEAN FUNCTIONS	511.324 D76A Advanced Boolean Techniques Selected Papers from the 13th International Workshop on Boolean Problems	511.324 L831 TRANSLATIONS OF MATHEMATICAL MONOGRAPHS	511.324 O45 ANALYSIS OF BOOLEAN FUNCTIONS	511.352 W373 COMPUTABILITY THEORY	Next

There are no comments for this item.

Log in to your account to post a comment.

More book reviews at iDreamBooks.com

© 2024. All rights reserved. Central Library, National Institute of Technology Karnataka, Surathkal. Visitors

website counter

Powered by Koha Implemented by Total IT Software Solutions