@inproceedings{BofillBV09,
  title = {Auction Robustness through Satisability Modulo Theories},
  author = {Miquel Bofill and Dídac Busquets and Mateu Villaret},
  year = {2009},
  url = {http://ceur-ws.org/Vol-635/paper03.pdf},
  researchr = {https://researchr.org/publication/BofillBV09},
  cites = {0},
  citedby = {0},
  pages = {33-44},
  booktitle = {Proceedings of the Second Workshop on Agreement Technologies, WAT 2009, Sevilla, Spain, November 9, 2009},
  editor = {Marc Esteva and Alberto Fernández 0002 and Adriana Giret},
  volume = {635},
  series = {CEUR Workshop Proceedings},
  publisher = {CEUR-WS.org},
}