Unsatisfiability proofs for distributed clause-sharing SAT solvers Michaelson, D.; Schreiber, D.; Heule, M. J. H.; Kiesl-Reiter, B.; Whalen, M. W. 2023. Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22–27, 2023, Proceedings, Part I. Ed. by Sriram Sankaranarayanan, 348–366, Springer Nature Switzerland. doi:10.1007/978-3-031-30823-9_18
The Agent-based Electricity Market Model PowerACE Zimmermann, F.; Beranek, J.; Kraft, E.; Signer, T.; Weiskopf, T. 2023, February 1. 1st International Workshop on “Agent-based Modeling for Energy Economics and Energy Policy" (2023), Stuttgart, Germany, February 1, 2023
Neutrino mass from heaven and earth Schwetz-Mangold, T. 2023, April 12. Particle Physics from Early Universe to Future Colliders (2023), Portorož, Slovenia, April 10–14, 2023
Decoherence Effects of Reactor Neutrino Krüger, R. 2023, March 23. 86th Jahrestagung der DPG und DPG-Frühjahrstagung der Sektion Materie und Kosmos - Arbeitskreis Beschleunigerphysik (SMuK 2023), Dresden, Germany, March 20–24, 2023