Martin Mariusz Lester
From MaRDI portal
Person:2118315
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 |
|---|---|---|
| BaB-PoNN: a bit-exact branch-and-bound framework for verified robustness of posit neural networks | 2026-09-23 | Paper |
| Which algorithm to select in sports timetabling? European Journal of Operational Research | 2025-05-16 | Paper |
| Scheduling reach mahjong tournaments using pseudoboolean constraints | 2022-03-22 | Paper |
Research outcomes over time
This page was built for person: Martin Mariusz Lester
