LoCo - A Logic for Configuration Problems.

Markus Aschinger Conrad Drescher Georg Gottlob Heribert Vollmer

Published in: ACM Trans. Comput. Log. (2014)

Keyphrases

configuration problems
difficult problems
constraint satisfaction problems
constraint satisfaction
product configuration
modal logic
industrial applications
multi valued