# Applying Incremental Answer Set Solving to Product Configuration

arXiv: https://arxiv.org/abs/2207.08599 · HTML: https://mlsanity.com/paper/2207.08599/

## Key facts

- Cited by 1 papers in the map (data through 14 Oct 2026).
- Builds on 3 of its 18 references that are in the map.
- First posted on arXiv 18 Jul 2022.

## Builds on (most cited first, 3 of 3)

- [Multi-shot ASP solving with clingo](https://mlsanity.com/paper/1705.09811/) (2017)
- [ASP-Core-2 Input Language Format](https://mlsanity.com/paper/1911.04326/) (2019)
- [OOASP: Connecting Object-oriented and Logic Programming](https://mlsanity.com/paper/1508.03032/) (2015)

## Built on by (most cited first, 1 of 1)

- [Using Symmetries to Lift Satisfiability Checking](https://mlsanity.com/paper/2311.03424/) (2023)

## Abstract (arXiv)

In this paper, we apply incremental answer set solving to product configuration. Incremental answer set solving is a step-wise incremental approach to Answer Set Programming (ASP). We demonstrate how to use this technique to solve product configurations problems incrementally. Every step of the incremental solving process corresponds to a predefined configuration action. Using complex domain-specific configuration actions makes it possible to tightly control the level of non-determinism and performance of the solving process. We show applications of this technique for reasoning about product configuration, like simulating the behavior of a deterministic configuration algorithm and describing user actions.