C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Using constraint programming to verify DOPLER variability models.
Raúl Mazo
Paul Grünbacher
Wolfgang Heider
Rick Rabiser
Camille Salinesi
Daniel Diaz
Published in:
VaMoS (2011)
Keyphrases
</>
constraint programming
constraint propagation
constraint satisfaction problems
constraint satisfaction
global constraints
search strategies
constraint optimization
integer programming
column generation
combinatorial problems
evolutionary algorithm
optimization problems
np hard problems