BibTeX record conf/aiia/DodaroP19

download as .bib file

@inproceedings{DBLP:conf/aiia/DodaroP19,
  author    = {Carmine Dodaro and
               Alessandro Previti},
  title     = {Minipref: {A} Tool for Preferences in {SAT} (short paper)},
  booktitle = {RCRA/RiCeRcA@AI*IA},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {2538},
  publisher = {CEUR-WS.org},
  year      = {2019}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics