landscape theory sbse combinatorial optimization elementary landscape decomposition multi-objective optimization software engineering sat solvers software testing model checking search-based software engineering evolutionary computation gray-box optimization software project scheduling next release problem ingenieria de requisitos search based software engineering hill climbers pseudo-boolean problems ant colony optimization software ingenieria de software exact algorithms heuristics construct merge solve and adapt recombination operator requirement selection cmsa caepia articulation points nk landscapes max-sat binary optimization pseudo-boolean functions partition crossover seca based software engineering optimization integer linear programming constraint handling hill climbing pseudo-boolean optimization taxi sharing mixed integer linear programming smart cities radio network design diseño de redes de radio landscapes elementales planificación de proyectos software resolutores sat landscapes theory hamiltonian path improving moves evolutionary algorithms search based software testing fitness-distance correlation problem understanding quadratic assignment problem bit-flip mutation genetic algorith metaheuristics test suite minimization genetic algorithms
See more