Wietze Koops
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2023–2026
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | AAAI | Faster Certified Symmetry Breaking Using Orders with Auxiliary Variables. | Markus Anders, Bart Bogaerts, Benjamin Bog, Arthur Gontier, Wietze Koops, Ciaran McCreesh, Magnus O. Myreen, Jakob Nordstrm, Andy Oertel, Adrian Rebola-Pardo, Yong Kiam Tan |
| 2026 | CP | End-to-End Certified Graph Colouring. | Simon Dold, George Katsirelos, Wietze Koops, Magnus O. Myreen, Jakob Nordstrm, Andy Oertel, Yong Kiam Tan |
| 2025 | CAV | Policy Verification in Stochastic Dynamical Systems Using Logarithmic Neural Certificates. | Thom Badings, Wietze Koops, Sebastian Junges, Nils Jansen |
| 2025 | CP | Practically Feasible Proof Logging for Pseudo-Boolean Optimization. | Wietze Koops, Daniel Le Berre, Magnus O. Myreen, Jakob Nordstrm, Andy Oertel, Yong Kiam Tan, Marc Vinyals |
| 2024 | IJCAI | Approximate Dec-POMDP Solving Using Multi-Agent A | Wietze Koops, Sebastian Junges, Nils Jansen |
| 2023 | IJCAI | Recursive Small-Step Multi-Agent A* for Dec-POMDPs. | Wietze Koops, Nils Jansen, Sebastian Junges, Thiago D. Simo |