@inproceedings{Ghosh_2023,
    title = {Orbit-finite linear programming},
    url = {http://dx.doi.org/10.1109/LICS56636.2023.10175799},
    doi = {10.1109/lics56636.2023.10175799},
    booktitle = {2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)},
    publisher = {IEEE},
    author = {Ghosh, Arka and Hofman, Piotr and Lasota, Sławomir},
    year = {2023},
    month = {jun},
    date-added = {2024-2-22 15:33:51 +0100}
}

@inproceedings{Ghosh_2023, title = {Orbit-finite linear programming}, url = {http://dx.doi.org/10.1109/LICS56636.2023.10175799}, doi = {10.1109/lics56636.2023.10175799}, booktitle = {2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)}, publisher = {IEEE}, author = {Ghosh, Arka and Hofman, Piotr and Lasota, Sławomir}, year = {2023}, month = {jun}, date-added = {2024-2-22 15:33:51 +0100} }