Introducing LoCo, a Logic for Configuration Problems

Markus Aschinger Conrad Drescher Georg Gottlob

Published in: LoCoCo (2011)

Keyphrases

configuration problems
difficult problems
constraint satisfaction problems
constraint satisfaction
product configuration
modal logic
multi valued
industrial applications
decision making
case study
search algorithm
decision support
digital circuits