000 -LEADER |
fixed length control field |
00692 a2200193 4500 |
005 - DATE AND TIME OF LATEST TRANSACTION |
control field |
20211207163343.0 |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
fixed length control field |
211207b ||||| |||| 00| 0 eng d |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
ISBN |
9783030203252 |
082 ## - CLASSIFICATION NUMBER |
Call Number |
511.324 D76A |
100 ## - AUTHOR NAME |
Author |
Drechsler, Rolf . |
100 ## - AUTHOR NAME |
Author |
Soeken, Mathias |
245 ## - TITLE STATEMENT |
Title |
Advanced Boolean Techniques Selected Papers from the 13th International Workshop on Boolean Problems |
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
Publisher |
Springer |
Place of publication |
Switzerland |
Year of publication |
2020 |
300 ## - PHYSICAL DESCRIPTION |
Number of Pages |
p.265 |
650 ## - SUBJECT ADDED ENTRY--SUBJECT 1 |
keywords |
Improving SAT Solving Using Monte Carlo Tree Search-Based Clause Learning |
650 ## - SUBJECT ADDED ENTRY--SUBJECT 1 |
keywords |
Literal Selection in Switching Lattice Design |
650 ## - SUBJECT ADDED ENTRY--SUBJECT 1 |
keywords |
Exact Synthesis of ESOP Forms |
942 ## - ADDED ENTRY ELEMENTS (KOHA) |
Koha item type |
Books |