Skip to main content

4 Result(s)

within Miguel Terra-Neves Remove this filter Artificial Intelligence Remove this filter

and

  1. No Access

    Article

    Virtual machine consolidation using constraint-based multi-objective optimization

    With the blooming of cloud computing, the demand for data centers has been rising greatly in recent years. Their energy consumption and environmental impact has become much more significant due to the continuo...

    Miguel Terra-Neves, Inês Lynce, Vasco Manquinho in Journal of Heuristics (2019)

  2. No Access

    Chapter and Conference Paper

    Constraint-Based Techniques in Stochastic Local Search MaxSAT Solving

    The recent improvements in solving Maximum Satisfiability (MaxSAT) ...

    Andreia P. Guerreiro, Miguel Terra-Neves… in Principles and Practice of Constraint Prog… (2019)

  3. No Access

    Chapter and Conference Paper

    Encodings for Enumeration-Based Program Synthesis

    Pedro Orvalho, Miguel Terra-Neves… in Principles and Practice of Constraint Prog… (2019)

  4. No Access

    Chapter and Conference Paper

    Introducing Pareto Minimal Correction Subsets

    A Minimal Correction Subset (MCS) of an unsatisfiable constraint set is a minimal subset of constraints that, if removed, makes the constraint set satisfiable. MCSs enjoy a wide range of applications, one of t...

    Miguel Terra-Neves, Inês Lynce… in Theory and Applications of Satisfiability … (2017)