Lifting symmetry breaking constraints with inductive logic programming A Tarzariol, M Gebser, K Schekotihin Machine Learning, 1-24, 2022 | 7 | 2022 |
Efficient lifting of symmetry breaking constraints for complex combinatorial problems A Tarzariol, M Gebser, M Law, K Schekotihin Theory and Practice of Logic Programming, 1-17, 2022 | 6 | 2022 |
Learning to break symmetries for efficient optimization in answer set programming A Tarzariol, M Gebser, K Schekotihin, M Law Proceedings of the AAAI Conference on Artificial Intelligence 37 (5), 6541-6549, 2023 | 5 | 2023 |
Evolution of Algorithm Portfolio for Solving Strategies. A Tarzariol CILC, 327-341, 2019 | 5 | 2019 |
A Model-Oriented Approach for Lifting Symmetry-Breaking Constraints in Answer Set Programming. A Tarzariol IJCAI, 5875-5876, 2022 | 2 | 2022 |
An ILASP-Based Approach to Repair Petri Nets F Chiariello, A Ielo, A Tarzariol Logic Programming and Non-monotonic Reasoning 15245, 85–97, 2024 | 1 | 2024 |
Learning Efficient Constraints in Answer Set Programming A Tarzariol University of Klagenfurt, 2023 | 1 | 2023 |
A Model-Oriented Approach for Lifting Symmetries in Answer Set Programming A Tarzariol arXiv preprint arXiv:2208.03095, 2022 | 1 | 2022 |
Towards a logic programming tool for cancer data analysis A Tarzariol, E Zanazzo, A Dovier, A Policriti Fundamenta Informaticae 176 (3-4), 299-319, 2020 | 1 | 2020 |
Lernen effizienter Constraints in der Antwortmengenprogrammierung A Tarzariol Ausgezeichnete Informatikdissertationen 2023, 301-310, 2024 | | 2024 |
Lifting Symmetry Breaking Constraints with Inductive Logic Programming A Tarzariol, M Gebser, K Schekotihin International Joint Conference on Artificial Intelligence, 2062--2068, 2021 | | 2021 |
Towards a Logic Programming tool for cancer analysis A Tarzariol, A Dovier, A Policriti CEUR WORKSHOP PROCEEDINGS 1949, 361-375, 2017 | | 2017 |
A Preliminary Study to Tackle Sawmill Production Scheduling with ASP G Da Col, P Fleiss, A Tarzariol, EC Teppan, E Wiegelmann | | |
An ILASP-Based Approach to Repair Petri Nets A Tarzariol | | |
Evolution of Algorithm Portfolio Methods for Combinatorial Search and Optimization Strategies A Tarzariol | | |