https://aoertel.de/ https://aoertel.de/about/ https://aoertel.de/cv/ 2022-07-28 https://aoertel.de/projects/ https://aoertel.de/projects/latex-templates/ 2023-06-01 https://aoertel.de/projects/rpi-rf-gpiod/ 2019-10-20 https://aoertel.de/projects/ultrametric-tools/ 2021-12-31 https://aoertel.de/projects/veripb/ 2022-12-31 https://aoertel.de/publications/ https://aoertel.de/publications/2021-maximum-number-edge-colorings/ 2021-01-01 https://aoertel.de/publications/2021-ultrametric-matrix-multiplication/ 2021-12-31 https://aoertel.de/publications/2022-certified-pb-to-cnf/ 2022-07-28 https://aoertel.de/publications/2023-certified-core-guided-maxsat/ 2023-07-01 https://aoertel.de/publications/2023-graphs-many-edge-colorings/ 2023-07-15 https://aoertel.de/publications/2024-certified-dynamic-programming/ 2024-09-04 https://aoertel.de/publications/2024-certified-maxsat-preprocessing/ 2024-07-01 https://aoertel.de/publications/2024-certified-mip-presolving-pb/ 2024-05-28 https://aoertel.de/publications/2024-certified-sis-maxsat/ 2024-09-03 https://aoertel.de/publications/2024-end-to-end-subgraph-solving/ 2024-02-20 https://aoertel.de/publications/2025-practically-feasible-proof-logging-for-pb/ 2025-08-10 https://aoertel.de/publications/2026-faster-certified-symmetry-breaking/ 2026-01-22 https://aoertel.de/thesis/ 2022-07-28