BibTeX record conf/his/LimaMPF05

• > Home > conf/his/LimaMPF05

@inproceedings{DBLP:conf/his/LimaMPF05,
  author       = {Priscila Machado Vieira Lima and
                  M. Mariela Morveli{-}Espinoza and
                  Glaucia C. Pereira and
                  Felipe Maia Galv{\~{a}}o Fran{\c{c}}a},
  editor       = {Nadia Nedjah and
                  Luiza de Macedo Mourelle and
                  Ajith Abraham and
                  Mario K{\"{o}}ppen},
  title        = {SATyrus: {A} SAT-based Neuro-Symbolic Architecture for Constraint
                  Processing},
  booktitle    = {5th International Conference on Hybrid Intelligent Systems {(HIS}
                  2005), 6.9 November 2005, Rio de Janeiro, Brazil},
  pages        = {137--142},
  publisher    = {{IEEE} Computer Society},
  year         = {2005},
  url          = {https://doi.org/10.1109/ICHIS.2005.97},
  doi          = {10.1109/ICHIS.2005.97},
  timestamp    = {Fri, 24 Mar 2023 00:02:25 +0100},
  biburl       = {https://dblp.org/rec/conf/his/LimaMPF05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}