Araújo, J., Chow, C., Janota, M., & João Araújo and Choiwah Chow and Mikoláš Janota. (2023, Januar 1). Symmetries for Cube-And-Conquer in Finite Model Finding. Gehalten auf der. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2023. https://doi.org/10.4230/lipics.cp.2023.8

ARAÚJO, João, CHOW, Choiwah, JANOTA, Mikoláš und JOÃO ARAÚJO AND CHOIWAH CHOW AND MIKOLÁŠ JANOTA, 2023. Symmetries for Cube-And-Conquer in Finite Model Finding. In: [online]. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2023. 1 Januar 2023. Available from: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CP.2023.8

Araújo, J., C. Chow, M. Janota, und João Araújo and Choiwah Chow and Mikoláš Janota. Symmetries for Cube-And-Conquer in Finite Model Finding. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2023., 2023, https://doi.org/10.4230/lipics.cp.2023.8.

Araújo, J., Chow, C., Janota, M. und João Araújo and Choiwah Chow and Mikoláš Janota. (2023), „Symmetries for Cube-And-Conquer in Finite Model Finding“, in , Bd. , Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2023., verfügbar unter:https://doi.org/10.4230/lipics.cp.2023.8.