| 000 | 00692 a2200193 4500 | ||
|---|---|---|---|
| 999 |
_c60560 _d60560 |
||
| 005 | 20211207163343.0 | ||
| 008 | 211207b ||||| |||| 00| 0 eng d | ||
| 020 | _a9783030203252 | ||
| 082 | _a511.324 D76A | ||
| 100 |
_aDrechsler, Rolf . _91810 |
||
| 100 |
_aSoeken, Mathias _91811 |
||
| 245 | _aAdvanced Boolean Techniques Selected Papers from the 13th International Workshop on Boolean Problems | ||
| 260 |
_bSpringer _aSwitzerland _c2020 |
||
| 300 | _ap.265 | ||
| 650 |
_bImproving SAT Solving Using Monte Carlo Tree Search-Based Clause Learning _91812 |
||
| 650 |
_bLiteral Selection in Switching Lattice Design _91813 |
||
| 650 |
_bExact Synthesis of ESOP Forms _91814 |
||
| 942 | _cBK | ||