aspmc: An Algebraic Answer Set Counter (bibtex)
by Thomas Eiter, Markus Hecher, Rafael Kiesel
Reference:
aspmc: An Algebraic Answer Set CounterThomas Eiter, Markus Hecher, Rafael KieselProceedings of the International Conference on Logic Programming 2021 Workshops co-located with the 37th International Conference on Logic Programming (ICLP 2021), Porto, Portugal (virtual), September 20th-21st, 2021 (Joaquín Arias, Fabio Aurelio D'Asaro, Abeer Dyoub, Gopal Gupta, Markus Hecher, Emily LeBlanc, Rafael Peñaloza, Elmer Salazar, Ari Saptawijaya, Felix Weitkämper, Jessica Zangari, eds.), volume 2970 of CEUR Workshop Proceedings, 2021, CEUR-WS.org.
Bibtex Entry:
@inproceedings{DBLP:conf/iclp/EiterHK21,
  author    = {Thomas Eiter and
               Markus Hecher and
               Rafael Kiesel},
  editor    = {Joaqu{\'{\i}}n Arias and
               Fabio Aurelio D'Asaro and
               Abeer Dyoub and
               Gopal Gupta and
               Markus Hecher and
               Emily LeBlanc and
               Rafael Pe{\~{n}}aloza and
               Elmer Salazar and
               Ari Saptawijaya and
               Felix Weitk{\"{a}}mper and
               Jessica Zangari},
  title     = {aspmc: An Algebraic Answer Set Counter},
  booktitle = {Proceedings of the International Conference on Logic Programming 2021
               Workshops co-located with the 37th International Conference on Logic
               Programming {(ICLP} 2021), Porto, Portugal (virtual), September 20th-21st,
               2021},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {2970},
  publisher = {CEUR-WS.org},
  year      = {2021},
  url       = {http://ceur-ws.org/Vol-2970/plppaper1.pdf},
  timestamp = {Thu, 28 Oct 2021 14:11:18 +0200},
  biburl    = {https://dblp.org/rec/conf/iclp/EiterHK21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
Powered by bibtexbrowser