Search for Author All Reviews
	Lynce, Ines     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 2 of 2 reviews       Virtual machine consolidation using constraint-based multi-objective optimization Terra-Neves M., Lynce I., Manquinho V. Journal of Heuristics 25(3): 339-375, 2019.  Type: Article As cloud computing grows, its demands on resources play an ever-increasing role in the economics of machine maintenance. One potential way of addressing this issue is by improving usage. For example, by judiciously placing the tasks re...... Aug 8 2019     Algorithms for computing backbones of propositional formulae Janota M., Lynce I., Marques-Silva J. AI Communications 28(2): 161-177, 2015.  Type: Article The backbone (also called “necessary variables” or “fixed assignments”) of a propositional formula φ is the set of literals that are true in all models of the formula. Put another way, t...... Oct 27 2016
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy