Skip to main content

Automated Optimization of Programs and Processing Tools in Answer Set Programming