Alice Tarzariol

Publication Activity (10 Years)

Years Active: 2017-2023
Publications (10 Years): 11

Top Topics

Statistical Relational Learning

Logic Programming

Symmetry Breaking

Combinatorial Problems

Top Venues

Fundam. Informaticae

Publications

Alice Tarzariol, Martin Gebser, Konstantin Schekotihin, Mark Law
Learning to Break Symmetries for Efficient Optimization in Answer Set Programming. AAAI (2023)
Alice Tarzariol
A Model-Oriented Approach for Lifting Symmetry-Breaking Constraints in Answer Set Programming. IJCAI (2022)
Alice Tarzariol
A Model-Oriented Approach for Lifting Symmetries in Answer Set Programming. ICLP Technical Communications / Doctoral Consortium (2022)
Alice Tarzariol, Konstantin Schekotihin, Martin Gebser, Mark Law
Efficient Lifting of Symmetry Breaking Constraints for Complex Combinatorial Problems. Theory Pract. Log. Program. 22 (4) (2022)
Alice Tarzariol, Martin Gebser, Mark Law, Konstantin Schekotihin
Efficient lifting of symmetry breaking constraints for complex combinatorial problems. CoRR (2022)
Alice Tarzariol, Martin Gebser, Konstantin Schekotihin
Lifting symmetry breaking constraints with inductive logic programming. Mach. Learn. 111 (4) (2022)
Alice Tarzariol, Martin Gebser, Konstantin Schekotihin
Lifting Symmetry Breaking Constraints with Inductive Logic Programming. IJCAI (2021)
Alice Tarzariol, Martin Gebser, Konstantin Schekotihin
Lifting Symmetry Breaking Constraints with Inductive Logic Programming. CoRR (2021)
Alice Tarzariol, Eugenia Zanazzo, Agostino Dovier, Alberto Policriti
Towards a Logic Programming Tool for Cancer Data Analysis. Fundam. Informaticae 176 (3-4) (2020)
Alice Tarzariol
Evolution of Algorithm Portfolio for Solving Strategies. CILC (2019)
Alice Tarzariol, Agostino Dovier, Alberto Policriti
Towards a Logic Programming Tool for Cancer Analysis. ICTCS/CILC (2017)