research
∙
08/05/2022
A Model-Oriented Approach for Lifting Symmetries in Answer Set Programming
When solving combinatorial problems, pruning symmetric solution candidat...
share
research
∙
05/14/2022
Efficient lifting of symmetry breaking constraints for complex combinatorial problems
Many industrial applications require finding solutions to challenging co...
research
∙
12/22/2021
