Automated Reasoning and Optimization, Empirical Algorithmics, Explainable Artificial Intelligence, Algorithm Visualization and Sonification
-
Karlsruhe Institute of Technology
- Karlsruhe
- https://algo2.iti.kit.edu/3986.php
- https://orcid.org/0000-0003-2904-232X
- https://scholar.google.com/citations?user=wRcC2U8AAAAJ
Highlights
- Pro
Get started with GitHub Packages
Safely publish packages, store your packages alongside your code, and share your packages privately with your team.
Choose a registry
Apache Maven
A default package manager used for the Java programming language and the Java runtime environment.
Learn moreNuGet
A free and open source package manager used for the Microsoft development platforms including .NET.
Learn moreRubyGems
A standard format for distributing Ruby programs and libraries used for the Ruby programming language.
Learn morenpm
A package manager for JavaScript, included with Node.js. npm makes it easy for developers to share and reuse code.
Learn moreContainers
A single place for your team to manage Docker images and decide who can see and access your images.
Learn more