Maxwell Levatich
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2020–2021
Best venue rank
B
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | CPAIOR | Supercharging Plant Configurations Using Z3. | Nikolaj S. Bjrner, Maxwell Levatich, Nuno P. Lopes, Andrey Rybalchenko, Chandrasekar Vuppalapati |
| 2020 | VMCAI | Solving $\mathrm {LIA} ^\star $ Using Approximations. | Maxwell Levatich, Nikolaj S. Bjrner, Ruzica Piskac, Sharon Shoham |