Original languageEnglish
Title of host publicationIn 51st International Colloquium on Automata, Languages, and Programming (ICALP 2024)
PublisherSchloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
Number of pages20
ISBN (Print)9783959773225
DOIs
StatePublished - 1 Jul 2024
EventInternational Colloquium on Automata, Languages, and Programming 2024 - Tallinn, Estonia
Duration: 8 Jul 202412 Jul 2024
Conference number: 51
https://compose.ioc.ee/icalp2024/

Publication series

NameLeibniz International Proceedings in Informatics (LIPIcs)
Volume297

Conference

ConferenceInternational Colloquium on Automata, Languages, and Programming 2024
Abbreviated titleICALP 2024
Country/TerritoryEstonia
CityTallinn
Period8/07/2412/07/24
Internet address

    Research areas

  • decision procedures, integer programming, quantifier elimination

ID: 121734407