Configuration of domotic systems based on constraint solving.

Gerhard Leitner, Martin Stettinger

Browse the full SPLC paper archive.