KR2025Proceedings of the 22nd International Conference on Principles of Knowledge Representation and ReasoningProceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning

Melbourne, Australia. November 11-17, 2025.

Edited by
  1. Magdalena Ortiz
  2. Renata Wassermann
  3. Torsten Schaub

ISSN: 2334-1033
ISBN: 978-1-956792-08-9

Sponsored by
Published by

Copyright © 2025 International Joint Conferences on Artificial Intelligence Organization

Presburger Functional Synthesis: Complexity and Tractable Normal Forms

  1. S. Akshay(Indian Institute of Technology Bombay)
  2. A. R. Balasubramanian(Max Planck Institute for Software Systems Kaiserslautern)
  3. Supratik Chakraborty(Indian Institute of Technology Bombay)
  4. Georg Zetzsche(Max Planck Institute for Software Systems Kaiserslautern)

Bibtex record

@inproceedings{KR2025-2,
    title     = {{Presburger Functional Synthesis: Complexity and Tractable Normal Forms}},
    author    = {Akshay, S. and Balasubramanian, A. R. and Chakraborty, Supratik and Zetzsche, Georg},
    booktitle = {{Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning}},
    pages     = {12--23},
    year      = {2025},
    month     = {10},
    doi       = {10.24963/kr.2025/2},
    url       = {https://doi.org/10.24963/kr.2025/2},
  }
Go back