BibTeX record conf/overlay/PagliariniPRSS23

• > Home > conf/overlay/PagliariniPRSS23

@inproceedings{DBLP:conf/overlay/PagliariniPRSS23,
  author       = {Giovanni Pagliarini and
                  Andrea Paradiso and
                  Sasha Rubin and
                  Guido Sciavicco and
                  Ionel Eduard Stan},
  editor       = {Andrea Brunello and
                  Alessandro Gianola and
                  Fabio Mogavero},
  title        = {Heuristic Minimization Modulo Theory of Modal Decision Trees Class-Formulas},
  booktitle    = {Short Paper Proceedings of the 5th Workshop on Artificial Intelligence
                  and Formal Verification, Logic, Automata, and Synthesis hosted by
                  the 22nd International Conference of the Italian Association for Artificial
                  Intelligence (AIxIA 2023), Rome, Italy, November 7, 2023},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3629},
  pages        = {49--53},
  publisher    = {CEUR-WS.org},
  year         = {2023},
  url          = {https://ceur-ws.org/Vol-3629/paper8.pdf},
  timestamp    = {Wed, 07 Feb 2024 16:02:39 +0100},
  biburl       = {https://dblp.org/rec/conf/overlay/PagliariniPRSS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}