BibTeX record conf/stairs/Giraldez-CruMM16

• > Home > conf/stairs/Giraldez-CruMM16

@inproceedings{DBLP:conf/stairs/Giraldez-CruMM16,
  author       = {Jes{\'{u}}s Gir{\'{a}}ldez{-}Cru and
                  Guillermo Mart{\'{\i}}n{-}S{\'{a}}nchez and
                  Pedro Meseguer},
  editor       = {David Pearce and
                  Helena Sofia Pinto},
  title        = {Connecting {ABT} with a {SAT} Solver},
  booktitle    = {{STAIRS} 2016 - Proceedings of the Eighth European Starting {AI} Researcher
                  Symposium, The Hague, The Netherlands, August 29-30, 2016},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {284},
  pages        = {179--184},
  publisher    = {{IOS} Press},
  year         = {2016},
  url          = {https://doi.org/10.3233/978-1-61499-682-8-179},
  doi          = {10.3233/978-1-61499-682-8-179},
  timestamp    = {Sun, 02 Oct 2022 16:16:10 +0200},
  biburl       = {https://dblp.org/rec/conf/stairs/Giraldez-CruMM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}