Open AccessUsing Constraint Programming to Verify DOPLER Variability Models
Author(s) -
Raul Mazo,
Paul Grünbacher,
Wolfgang Heider,
Rick Rabiser,
Camille Salinesi,
Daniel Diaz
Publication year - 2011
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - constraint programming , computer science , constraint (computer aided design) , constraint satisfaction , programming language , mathematical optimization , artificial intelligence , mathematics , stochastic programming , geometry , probabilistic logic