Araújo, J., Chow, C., Janota, M., & João Araújo and Choiwah Chow and Mikoláš Janota. (2023, January 1). Symmetries for Cube-And-Conquer in Finite Model Finding. Presented at the. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2023. https://doi.org/10.4230/lipics.cp.2023.8
ISO-690 (author-date, English)ARAÚJO, João, CHOW, Choiwah, JANOTA, Mikoláš and 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 January 2023. Available from: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CP.2023.8
Modern Language Association 9th editionAraújo, J., C. Chow, M. Janota, and 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.
Mohr Siebeck - Recht (Deutsch - Österreich)Emerald - Harvard
Araújo, J., Chow, C., Janota, M. and João Araújo and Choiwah Chow and Mikoláš Janota. (2023), “Symmetries for Cube-And-Conquer in Finite Model Finding”, in , Vol. , Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2023., available at:https://doi.org/10.4230/lipics.cp.2023.8.