Last released Nov 14, 2018
Qualitative and quantitative optimization in answer set programming
Supported by