1
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
2
by Pelz, Peter F.
Published 2021
Format:
Table of Contents: ...Intro -- Preface -- Acknowledgements -- Contents -- 1 Introduction -- 1.1 Motivation -- 1.2...
Click to View
3
by Schüppstuhl, Thorsten.
Published 2020
Format:
Table of Contents: ... environment -- 1 Introduction -- 1.1 Related work -- 1.2 Materials and methods -- 2 Prototype geometry -- 2...
Click to View
4
by Holzinger, Andreas.
Published 2022
Format:
Table of Contents: ....1 Motivating Examples -- 1.2 Summary of Contributions and Structure of This Chapter -- 2 Preliminaries....
Click to View
5
by Reynolds, Matthew P.
Published 2022
Format:
Table of Contents: ... -- Chapter 1: Wheat Improvement -- 1.1 Learning Objectives -- 1.2 Background on Crop Breeding -- 1.3 Crop...
Click to View