Andy Oertel
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Maximum number of r-edge-colorings such that all copies of K_k are rainbow Procedia Computer Science | 2025-12-02 | Paper |
| Certified MaxSAT preprocessing | 2025-01-31 | Paper |
| Certified CNF translations for pseudo-Boolean solving | 2024-07-12 | Paper |
| Certified Core-Guided MaxSAT Solving | 2024-04-26 | Paper |
| Graphs with many edge-colorings such that complete graphs are rainbow Discrete Applied Mathematics | 2023-04-27 | Paper |
| Fast ultrametric matrix-vector multiplication | 2021-12-31 | Paper |
| Certifying MIP-based Presolve Reductions for 0-1 Integer Linear Programs (available as arXiv preprint) | N/A | Paper |
Research outcomes over time
This page was built for person: Andy Oertel
