jfrchicanog

landscape theory combinatorial optimization elementary landscape decomposition sbse software engineering sat solvers software testing multi-objective optimization model checking search based software engineering software project scheduling search-based software engineering evolutionary computation ant colony optimization gray-box optimization software hill climbers ingenieria de requisitos pseudo-boolean problems next release problem 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 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