Login / Signup
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