1. Alviano, M., Dodaro, C.: Anytime answer set optimization via unsatisfiable core shrinking. Theory Pract. Logic Program. 16(5–6), 533–551 (2016)
2. Amilhastre, J., Fargier, H., Marquis, P.: Consistency restoration and explanations in dynamic CSPs application to configuration. Artif. Intell. 135(1–2), 199–234 (2002)
3. Andres, B., Kaufmann, B., Matheis, O., Schaub, T.: Unsatisfiability-based optimization in clasp. In: Dovier, A., Santos Costa, V. (eds.) Technical Communications of the Twenty-Eighth International Conference on Logic Programming (ICLP 2012), vol. 17, pp. 212–221. LIPIcs (2012)
4. Aschinger, M., Drescher, C., Gottlob, G., Vollmer, H.: Loco - A logic for configuration problems. ACM Trans. Comput. Logic 15(3), 20:1–20:25 (2014)
5. Balduccini, M., Lierler, Y.: Integration schemas for constraint answer set programming: a case study. Theory Pract. Logic Program. 13(4-5-Online-Supplement) (2013)