BibTeX record conf/mipro/BogdanovaGP20

• > Home > conf/mipro/BogdanovaGP20

@inproceedings{DBLP:conf/mipro/BogdanovaGP20,
  author       = {Vera G. Bogdanova and
                  Sergey A. Gorsky and
                  Anton A. Pashinin},
  editor       = {Marko Koricic and
                  Karolj Skala and
                  Zeljka Car and
                  Marina Cicin{-}Sain and
                  Vlado Sruk and
                  Dejan Skvorc and
                  Slobodan Ribaric and
                  Bojan Jerbic and
                  Stjepan Gros and
                  Boris Vrdoljak and
                  Mladen Mauher and
                  Edvard Tijan and
                  Tihomir Katulic and
                  Predrag Pale and
                  Tihana Galinac Grbac and
                  Nikola Filip Fijan and
                  Adrian Boukalov and
                  Dragan Cisic and
                  Vera Gradisnik},
  title        = {HPC-based parallel software for solving applied Boolean satisfiability
                  problems},
  booktitle    = {43rd International Convention on Information, Communication and Electronic
                  Technology, {MIPRO} 2020, Opatija, Croatia, September 28 - October
                  2, 2020},
  pages        = {1006--1011},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.23919/MIPRO48935.2020.9245400},
  doi          = {10.23919/MIPRO48935.2020.9245400},
  timestamp    = {Thu, 14 Oct 2021 10:41:06 +0200},
  biburl       = {https://dblp.org/rec/conf/mipro/BogdanovaGP20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}