1
2
3
4
by Pientka, Brigitte.
Published 2023
Format:
Table of Contents: ... -- Certified Core-Guided MaxSAT Solving -- 1 Introduction -- 1.1 Previous Work -- 1.2 Our Contributions -- 1...
Click to View
5
by Bertsch, Valentin.
Published 2019
Format:
Table of Contents: ... to Solve Dynamic Optimal Power Flow Problems in Parallel -- 1 Introduction -- 2 Dynamic Optimal Power Flow...
Click to View
6
by Holzinger, Andreas.
Published 2022
Format:
Table of Contents: ... Developments in Explainable AI -- A Rate-Distortion Framework for Explaining Black-Box Model Decisions -- 1...
Click to View
7
by Siebert, Horst.
Published 1980
Format:
Table of Contents: ... Gilbert, Berkeley, California/Joeph E. Stiglitz, Princeton: Energy Resources and Research and Development...
Click to View