Breaking Symmetry for Knowledge Compilation-Reference-Cited by-同舟云学术

Breaking Symmetry for Knowledge Compilation

Published:2023-03-27 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing
language:
Short-container-title:

Author:

Balogh Andrea¹^ORCID,O'Sullivan Barry²^ORCID

Affiliation:

1. Confirm Centre for Smart Manufacturing, School of Computer Science & IT,University College Cork, Cork, Ireland

2. Confirm Centre for Smart Manufacturing, Insight SFI Research Centre for Data Analytics, School of Computer Science & IT,University College Cork, Cork, Ireland

Funder

Science Foundation Ireland

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3555776.3577863

Reference13 articles.

1. Compiling CSPs: A Complexity Map of (Non-Deterministic) Multivalued Decision Diagrams;Amilhastre Jérôme;Int. J. Artif. Intell. Tools,2014

2. Anicet Bart , Frédéric Koriche , Jean-Marie Lagniez , and Pierre Marquis . 2014 . Symmetry-Driven Decision Diagrams for Knowledge Compilation. In ECAI 2014 - 21st European Conference on Artificial Intelligence. IOS Press. Anicet Bart, Frédéric Koriche, Jean-Marie Lagniez, and Pierre Marquis. 2014. Symmetry-Driven Decision Diagrams for Knowledge Compilation. In ECAI 2014 - 21st European Conference on Artificial Intelligence. IOS Press.

3. On the Relation Between Structured d-DNNFs and SDDs;Bollig Beate;Theory Comput. Syst.,2021

4. David A. Cohen , Peter Jeavons , Christopher Jefferson , Karen E. Petrie , and Barbara M . Smith . 2006 . Symmetry Definitions for Constraint Satisfaction Problems. Constraints An Int. J. ( 2006). David A. Cohen, Peter Jeavons, Christopher Jefferson, Karen E. Petrie, and Barbara M. Smith. 2006. Symmetry Definitions for Constraint Satisfaction Problems. Constraints An Int. J. (2006).

5. Adnan Darwiche . 2011 . SDD: A New Canonical Representation of Propositional Knowledge Bases. In IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence , 2011. IJCAI/AAAI. Adnan Darwiche. 2011. SDD: A New Canonical Representation of Propositional Knowledge Bases. In IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, 2011. IJCAI/AAAI.