Formulating constraint satisfaction problems for the inspection of configuration rules

Anna Tidstam, Johan Malmqvist, Alexey Voronov, Knut Ã…kesson, Martin Fabian. Formulating constraint satisfaction problems for the inspection of configuration rules. AI EDAM, 30(3):313-328, 2016. [doi]

Abstract

Abstract is missing.