@inproceedings{https___doi.org_10.4230_lipics.fsttcs.2024.1,
    doi = {10.4230/lipics.fsttcs.2024.1},
    url = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2024.1},
    author = {Chistikov, Dmitry},
    keywords = {Logical theories of arithmetic, decision procedures, Mathematics of computing → Discrete mathematics, Theory of computation → Logic},
    language = {en},
    title = {An Introduction to the Theory of Linear Integer Arithmetic (Invited Paper)},
    publisher = {Schloss Dagstuhl – Leibniz-Zentrum für Informatik},
    year = {2024},
    copyright = {Creative Commons Attribution 4.0 International license},
    date-added = {2025-6-3 22:49:24 +0100}
}

@inproceedings{https___doi.org_10.4230_lipics.fsttcs.2024.1, doi = {10.4230/lipics.fsttcs.2024.1}, url = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2024.1}, author = {Chistikov, Dmitry}, keywords = {Logical theories of arithmetic, decision procedures, Mathematics of computing → Discrete mathematics, Theory of computation → Logic}, language = {en}, title = {An Introduction to the Theory of Linear Integer Arithmetic (Invited Paper)}, publisher = {Schloss Dagstuhl – Leibniz-Zentrum für Informatik}, year = {2024}, copyright = {Creative Commons Attribution 4.0 International license}, date-added = {2025-6-3 22:49:24 +0100} }