@inproceedings(DBLP:conf/cpaior/AschingerDFGJRT11,
 author       = {M. Aschinger and C. Drescher and G. Friedrich and G. Gottlob and P. Jeavons and A. Ryabokon and E. Thorstensen},
 year         = {2011},
 title        = {Optimization Methods for the Partner Units Problem},
 booktitle    = {Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems},
 series       = {Lecture Notes in Computer Science},
 volume       = {6697},
 publisher    = {Springer},
 pages        = {4--19},
 doi          = {10.1007/978-3-642-21311-3_4},
)
@article(breitr11a,
 author       = {G. Brewka and T. Eiter and M. Truszczy{\'n}ski},
 year         = {2011},
 title        = {Answer Set Programming at a Glance},
 journal      = {Communications of the {ACM}},
 volume       = {54},
 number       = {12},
 pages        = {92--103},
 doi          = {10.1145/2043174.2043195},
)
@inproceedings(cokasama13a,
 author       = {P. Codenotti and H. Katebi and K. Sakallah and I. Markov},
 year         = {2013},
 title        = {Conflict Analysis and Branching Heuristics in the Search for Graph Automorphisms},
 booktitle    = {IEEE 25th International Conference on Tools with Artificial Intelligence},
 publisher    = {{IEEE} Computer Society},
 pages        = {907--914},
 doi          = {10.1109/ICTAI.2013.139},
)
@article(DBLP:journals/constraints/CohenJJPS06,
 author       = {D. Cohen and P. Jeavons and C. Jefferson and K. Petrie and B. Smith},
 year         = {2006},
 title        = {Symmetry Definitions for Constraint Satisfaction Problems},
 journal      = {Constraints},
 volume       = {11},
 number       = {2-3},
 pages        = {115--137},
 doi          = {10.1007/s10601-006-8059-8},
)
@inproceedings(crabak94a,
 author       = {J. Crawford and A. Baker},
 year         = {1994},
 title        = {Experimental Results on the Application of Satisfiability Algorithms to Scheduling Problems},
 booktitle    = {Proceedings of the twelfth national conference on Artificial Intelligence},
 pages        = {1092--1097},
)
@inproceedings(crdumu20a,
 author       = {A. Cropper and Duman{\v{c}}i{\'c}, S. and S. Muggleton},
 year         = {2020},
 title        = {Turning 30: New Ideas in Inductive Logic Programming},
 editor       = {C. Bessiere},
 booktitle    = {Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence (IJCAI'20)},
 publisher    = {ijcai.org},
 pages        = {4833--4839},
 doi          = {10.24963/ijcai.2020/673},
)
@misc(cropdum20a,
 author       = {A. Cropper and S. Dumančić},
 year         = {2020},
 title        = {Inductive Logic Programming at 30: A New Introduction},
 howpublished = {\url{https://arxiv.org/abs/2008.07912}},
 eprint       = {2008.07912},
)
@misc(saucy,
 author       = {P. Darga and H. Katebi and M. Liffiton and I. Markov and K. Sakallah},
 year         = {2004},
 title        = {Saucy},
 howpublished = {\url{http://vlsicad.eecs.umich.edu/BK/SAUCY/}},
)
@article(debobrde16a,
 author       = {J. Devriendt and B. Bogaerts and M. Bruynooghe and M. Denecker},
 year         = {2016},
 title        = {On Local Domain Symmetry for Model Expansion},
 journal      = {Theory and Practice of Logic Programming},
 volume       = {16},
 number       = {5-6},
 pages        = {636--652},
 doi          = {10.1017/S1471068416000508},
)
@article(dogalemurisc16a,
 author       = {C. Dodaro and P. Gasteiger and N. Leone and B. Musitsch and F. Ricca and K. Schekotihin},
 year         = {2016},
 title        = {Combining Answer Set Programming and Domain Heuristics for Solving Hard Industrial Problems},
 journal      = {Theory and Practice of Logic Programming},
 volume       = {16},
 number       = {5-6},
 pages        = {653--669},
 doi          = {10.1017/S1471068416000284},
)
@article(drtiwa10a,
 author       = {C. Drescher and O. Tifrea and T. Walsh},
 year         = {2011},
 title        = {Symmetry-breaking Answer Set Solving},
 journal      = {{AI} Communications},
 volume       = {24},
 number       = {2},
 pages        = {177--194},
 doi          = {10.3233/AIC-2011-0495},
)
@article(ergele16a,
 author       = {E. Erdem and M. Gelfond and N. Leone},
 year         = {2016},
 title        = {Applications of {ASP}},
 journal      = {{AI} Magazine},
 volume       = {37},
 number       = {3},
 pages        = {53--68},
 doi          = {10.1609/aimag.v37i3.2678},
)
@inproceedings(DBLP:conf/confws/FriedrichRFHSS11,
 author       = {G. Friedrich and A. Ryabokon and A. Falkner and A. Haselb{\"{o}}ck and G. Schenner and H. Schreiner},
 year         = {2011},
 title        = {({R}e)configuration using Answer Set Programming},
 booktitle    = {IJCAI 2011 Workshop on Configuration},
 publisher    = {CEUR-WS.org},
 pages        = {17--24},
)
@book(gekakasc12a,
 author       = {M. Gebser and R. Kaminski and B. Kaufmann and T. Schaub},
 year         = {2012},
 title        = {Answer Set Solving in Practice},
 series       = {Synthesis Lectures on Artificial Intelligence and Machine Learning},
 publisher    = {Morgan and Claypool Publishers},
 doi          = {10.2200/S00457ED1V01Y201211AIM019},
)
@inproceedings(gellif88b,
 author       = {M. Gelfond and V. Lifschitz},
 year         = {1988},
 title        = {The Stable Model Semantics for Logic Programming},
 editor       = {R. Kowalski and K. Bowen},
 booktitle    = {Proceedings of the Fifth International Conference and Symposium of Logic Programming (ICLP'88)},
 publisher    = {MIT Press},
 pages        = {1070--1080},
)
@article(gellif91a,
 author       = {M. Gelfond and V. Lifschitz},
 year         = {1991},
 title        = {Classical Negation in Logic Programs and Disjunctive Databases},
 journal      = {New Generation Computing},
 volume       = {9},
 pages        = {365--385},
 doi          = {10.1007/BF03037169},
)
@article(law21a,
 author       = {M. Law},
 year         = {2022},
 title        = {Conflict-driven Inductive Logic Programming},
 journal      = {Theory and Practice of Logic Programming},
 pages        = {1--28},
 doi          = {10.1017/S1471068422000011},
)
@inproceedings(larubr14a,
 author       = {M. Law and A. Russo and K. Broda},
 year         = {2014},
 title        = {Inductive Learning of Answer Set Programs},
 editor       = {E. Ferm{\'e} and J. Leite},
 booktitle    = {Proceedings of the Fourteenth European Conference on Logics in Artificial Intelligence (JELIA'14)},
 series       = {Lecture Notes in Artificial Intelligence},
 volume       = {8761},
 publisher    = {Springer-Verlag},
 pages        = {311--325},
 doi          = {10.1007/978-3-319-11558-0_22},
)
@article(larubr18b,
 author       = {M. Law and A. Russo and K. Broda},
 year         = {2018},
 title        = {Inductive Learning of Answer Set Programs from Noisy Examples},
 journal      = {Advances in Cognitive Systems},
 volume       = {7},
 pages        = {57--76},
)
@misc(larubr20b,
 author       = {M. Law and A. Russo and K. Broda},
 year         = {2020},
 title        = {The {ILASP} System for Inductive Learning of Answer Set Programs},
 howpublished = {The Association for Logic Programming Newsletter},
 url          = {https://www.cs.nmsu.edu/ALP/2020/04/the-ilasp-system-for-inductive-learning-of-answer-set-programs/},
)
@misc(ilasp,
 author       = {M. Law and A. Russo and K. Broda},
 year         = {2021},
 title        = {ILASP},
 howpublished = {\url{www.ilasp.com}},
)
@inproceedings(DBLP:conf/cpaior/MearsBWD08,
 author       = {C. Mears and {Garc{\'{\i}}a de la Banda}, M. and M. Wallace and B. Demoen},
 year         = {2008},
 title        = {A Novel Approach for Detecting Symmetries in {CSP} Models},
 editor       = {L. Perron and M. Trick},
 booktitle    = {Proceedings of the Fifth International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR'08)},
 series       = {Lecture Notes in Computer Science},
 volume       = {5015},
 publisher    = {Springer-Verlag},
 pages        = {158--172},
 doi          = {10.1007/978-3-540-68155-7_14},
)
@inproceedings(DBLP:conf/cp/Puget05,
 author       = {J. Puget},
 year         = {2005},
 title        = {Automatic Detection of Variable and Value Symmetries},
 editor       = {{van Beek}, P.},
 booktitle    = {Proceedings of the Eleventh International Conference on Principles and Practice of Constraint Programming (CP'05)},
 series       = {Lecture Notes in Computer Science},
 volume       = {3709},
 publisher    = {Springer-Verlag},
 pages        = {475--489},
 doi          = {10.1007/11564751_36},
)
@incollection(sakallah09a,
 author       = {K. Sakallah},
 year         = {2009},
 title        = {Symmetry and Satisfiability},
 editor       = {A. Biere and M. Heule and {van Maaren}, H. and T. Walsh},
 booktitle    = {Handbook of Satisfiability},
 chapter      = {10},
 series       = {Frontiers in Artificial Intelligence and Applications},
 volume       = {185},
 publisher    = {IOS Press},
 pages        = {289--338},
 doi          = {10.3233/978-1-58603-929-5-289},
)
@misc(lparseManual,
 author       = {T. Syrj{\"a}nen},
 year         = {2001},
 title        = {Lparse 1.0 User's Manual},
 url          = {http://www.tcs.hut.fi/Software/smodels/lparse.ps.gz},
)
@misc(iclp,
 author       = {A. Tarzariol and M. Gebser and M. Law and K. Schekotihin},
 year         = {2022},
 title        = {Efficient lifting of symmetry breaking constraints for complex combinatorial problems},
 doi          = {10.48550/ARXIV.2205.07129},
 url          = {https://arxiv.org/abs/2205.07129},
)
@inproceedings(tagesc21a,
 author       = {A. Tarzariol and M. Gebser and K. Schekotihin},
 year         = {2021},
 title        = {Lifting Symmetry Breaking Constraints with Inductive Logic Programming},
 editor       = {Zhi-Hua, Z.},
 booktitle    = {Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence (IJCAI'21)},
 publisher    = {ijcai.org},
 pages        = {2062--2068},
 doi          = {10.24963/ijcai.2021/284},
)
@article(mljournal,
 author       = {A. Tarzariol and M. Gebser and K. Schekotihin},
 year         = {2022},
 title        = {Lifting Symmetry Breaking Constraints with Inductive Logic Programming},
 journal      = {Machine Learning},
 volume       = {111},
 number       = {4},
 pages        = {1303 -- 1326},
 doi          = {10.1007/s10994-022-06146-3},
)
@article(DBLP:journals/jcss/TeppanFG16,
 author       = {Erich Christian Teppan and Gerhard Friedrich and Georg Gottlob},
 year         = {2016},
 title        = {Tractability frontiers of the partner units configuration problem},
 journal      = {J. Comput. Syst. Sci.},
 volume       = {82},
 number       = {5},
 pages        = {739--755},
 doi          = {10.1016/j.jcss.2015.12.004},
)
@inproceedings(walsh12a,
 author       = {T. Walsh},
 year         = {2012},
 title        = {Symmetry Breaking Constraints: Recent Results},
 editor       = {J. Hoffmann and B. Selman},
 booktitle    = {Proceedings of the Twenty-Sixth National Conference on Artificial Intelligence (AAAI'12)},
 publisher    = {{AAAI} Press},
 pages        = {2192--2198},
)