1
by Groote, Jan Friso.
Published 2021
Format:
Table of Contents: ...5 Conclusions -- References -- Case Studies -- Local Search with a SAT Oracle for Combinatorial...
Click to View
2
by Kim, Kyoung-Yun.
Published 2022
Format:
Table of Contents: ... Use Case -- 6 Summary and Outlook -- References -- Cost-Minimal Selection of Material Supply...
Click to View
3
by Myers, Stephen.
Published 2020
Format:
Table of Contents: ....3 Liouville's Theorem -- 2.3.1 Chains of Accelerators -- 2.3.2 Exceptions to Liouville's Theorem -- 2...
Click to View