Modeling Clique Coloring via ASP(Q)

Giovanni Amendola, Giovanni Rotondaro. Modeling Clique Coloring via ASP(Q). In 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, editors, 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. Volume 2970 of CEUR Workshop Proceedings, CEUR-WS.org, 2021. [doi]

Abstract

Abstract is missing.