Research output per year
Research output per year
Personal profile
Research
I am a PhD student in the Mathematical Insights into Algorithms for Optimization (MIAO) group headed by Jakob Nordström. My research is about combinatorial optimization. More precisely, I am concerned with developing state-of-the-art linear pseudo-Boolean optimization solvers and developing certification for the advanced approaches used in modern combinatorial optimization solvers.
Fingerprint
Dive into the research topics where Andy Oertel is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Certified CNF Translations for Pseudo-Boolean Solving
Gocht, S., Martins, R., Nordström, J. & Oertel, A., 2022 Jul 28, 25th International Conference on Theory and Applications of Satisfiability Testing (SAT 2022). Meel, K. S. & Strichman, O. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 25 p. 16. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 236).Research output: Chapter in Book/Report/Conference proceeding › Paper in conference proceeding › peer-review
Open Access -
Certifying Without Loss of Generality Reasoning in Solution-Improving Maximum Satisfiability
Berg, J., Bogaerts, B., Nordström, J., Oertel, A., Paxian, T. & Vandesande, D., 2024 Aug 29, 30th International Conference on Principles and Practice of Constraint Programming (CP 2024). Shaw, P. (ed.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Vol. 307. 28 p. 4. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 307).Research output: Chapter in Book/Report/Conference proceeding › Paper in conference proceeding › peer-review
Open Access -
Pseudo-Boolean Reasoning About States and Transitions to Certify Dynamic Programming and Decision Diagram Algorithms
Demirović, E., McCreesh, C., McIlree, M. J., Nordström, J., Oertel, A. & Sidorov, K., 2024 Aug 29, Leibniz International Proceedings in Informatics, LIPIcs. Shaw, P. (ed.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Vol. 307. 21 p. 9Research output: Chapter in Book/Report/Conference proceeding › Paper in conference proceeding › peer-review
Open Access -
Certified MaxSAT Preprocessing
Ihalainen, H., Oertel, A., Tan, Y. K., Berg, J., Järvisalo, M., Myreen, M. O. & Nordström, J., 2024 Jul 1, Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part I. Benzmüller, C., Heule, M. J. H. & Schmidt, R. A. (eds.). 1 ed. Springer, p. 396-418 (Lecture Notes in Computer Science; vol. 14739).Research output: Chapter in Book/Report/Conference proceeding › Paper in conference proceeding › peer-review
Open Access -
Certifying MIP-Based Presolve Reductions for 0–1 Integer Linear Programs
Hoen, A., Oertel, A., Gleixner, A. & Nordström, J., 2024 May 25, Integration of Constraint Programming, Artificial Intelligence, and Operations Research: 21st International Conference, CPAIOR 2024, Uppsala, Sweden, May 28–31, 2024, Proceedings, Part I. Dilkina, B. (ed.). Springer, p. 310-328 (Lecture Notes in Computer Science; vol. 14742).Research output: Chapter in Book/Report/Conference proceeding › Paper in conference proceeding › peer-review
Projects
- 1 Active
-
Certified Linear Pseudo-Boolean Optimization
Oertel, A. (Researcher), Nordström, J. (Supervisor) & de Rezende, S. (Assistant supervisor)
2021/11/16 → …
Project: Dissertation
Prizes and Distinction
-
Best paper award at the 25th International Conference on Theory and Applications of Satisfiability Testing
Gocht, S. (Recipient), Martins, R. (Recipient), Nordström, J. (Recipient) & Oertel, A. (Recipient), 2022
Prize: Prize (including medals and awards)
-
-
SAT competition 2023: Special Prize
Oertel, A. (Recipient), 2023 Jul 7
Prize: Prize (including medals and awards)
-
University Award for the Best Thesis in Computer Science at Chemnitz University of Technology 2021
Oertel, A. (Recipient), 2021 Dec 2
Prize: Prize (including medals and awards)