( en | de | ru )

 

Disambiguation of "Marques-Silva, João"

Author of the publication

copydeleteadd this publication to your clipboard
MILP for the Multi-objective VM Reassignment Problem.

, , , , and . ICTAI, page 41-48. IEEE Computer Society, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

João Silva Ferraz

Gil dos Santos Guerreiro João

João Afonso Silva Palla Carreiro

João Barros

João Fonseca

 

Other publications of authors with the same name

Restoring CSP Satisfiability with MaxSAT., and . Fundam. Informaticae, 107 (2-3): 249-266 (2011)Heuristic-Based Backtracking Relaxation for Propositional Satisfiability., , , and . J. Autom. Reason., 35 (1-3): 3-24 (2005)Abduction-Based Explanations for Machine Learning Models., , and . CoRR, (2018)Efficient and Accurate Haplotype Inference by Combining Parsimony and Pedigree Information., , , and . ANB, volume 6479 of Lecture Notes in Computer Science, page 38-56. Springer, (2010)On Finding Minimum Satisfying Assignments., , and . CP, volume 9892 of Lecture Notes in Computer Science, page 287-297. Springer, (2016)Haplotype Inference Using Propositional Satisfiability., , and . Mathematical Approaches to Polymer Sequence Analysis and Related Problems, Springer, (2011)On Computing Backbones of Propositional Theories., , and . ECAI, volume 215 of Frontiers in Artificial Intelligence and Applications, page 15-20. IOS Press, (2010)Read-Once Resolution for Unsatisfiability-Based Max-SAT Algorithms., and . IJCAI, page 572-577. IJCAI/AAAI, (2011)Towards More Effective Unsatisfiability-Based Maximum Satisfiability Algorithms., and . SAT, volume 4996 of Lecture Notes in Computer Science, page 225-230. Springer, (2008)A Portfolio Approach to Enumerating Minimal Correction Subsets for Satisfiability Problems., , , and . CPAIOR, volume 8451 of Lecture Notes in Computer Science, page 368-376. Springer, (2014)