| 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 |
