???global.info.a_carregar???
Vasco Miguel Gomes Nunes Manquinho. Concluiu o(a) Doutoramento em Engenharia Informática e de Computadores em 2006/07/20 pelo(a) Universidade de Lisboa Instituto Superior Técnico, Mestrado em Engenharia Electrotécnica e de Computadores em 1999/05 pelo(a) Universidade de Lisboa Instituto Superior Técnico e Licenciatura em Engenharia Informática e de Computadores em 1996 pelo(a) Universidade de Lisboa Instituto Superior Técnico. É Professor Associado no(a) Universidade de Lisboa Instituto Superior Técnico e Investigador no(a) Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa. Publicou 17 artigos em revistas especializadas. Possui 3 capítulo(s) de livros. Orientou 1 tese(s) de doutoramento e coorientou 1. Orientou 11 dissertação(ões) de mestrado e coorientou 6. Participa e/ou participou como Investigador em 1 projeto(s) e Investigador responsável em 1 projeto(s). Atua na(s) área(s) de Ciências da Engenharia e Tecnologias com ênfase em Engenharia Eletrotécnica, Eletrónica e Informática e Ciências da Engenharia e Tecnologias com ênfase em Engenharia Eletrotécnica, Eletrónica e Informática. Nas suas atividades profissionais interagiu com 49 colaborador(es) em coautorias de trabalhos científicos. No seu currículo Ciência Vitae os termos mais frequentes na contextualização da produção científica, tecnológica e artístico-cultural são: Program Synthesis; Program Verification; Propositional Satisfiability; Boolean Optimization; Multi-Objective Combinatorial Optimization; Ciência de Dados; Optimização; Cadeia de Abastecimento de Sangue; Planeamento; Serviços de Emergência Médica; Escalonamento; Optimização Discreta; Gestão de Energia; Optimização Multi Critério; Gestão de Centro de Dados; educação; aprendizagem personalizada; auto-estudo; métodos formais; Mar profundo; Ciência de dados; Aprendizagem automática; Métodos formais; Massive Open Online Courses ; Automated Feedback; Boolean Solving; Optimization; Satisfação de Restrições; Refinamento de Abstracções com Contra-exemplos; Formulas Proposicionais Quantificas; Hierarquia Polinomial; Satisfação Proposicional (SAT); Algoritmos Paralelos; Programação em Multicores (SMP/NUMA); Unidades de Processamento Gráfico (GPUs/CUDA); Restrições Booleanas; Subformulas não-satisfaziveis; Optimização com Restrições; Explicações de Conflitos; Optimização com restrições lineares Booleanas; Incrementalidade em estimativas de limite inferior; Contagem de modelos; inferência de haplotipos; satisfação proposicional; parcimónia pura; dados reais; Satisfação Proposicional; Optimização Pseudo-Booleana; Fórmulas Booleanas Quantificadas; Contagem de Modelos; .
Ler resumo completo ↓
Identificação

Identificação pessoal

Nome completo
Vasco Miguel Gomes Nunes Manquinho

Nomes de citação

  • Manquinho, Vasco

Identificadores de autor

Ciência ID
5F10-0E18-0223
ORCID iD
0000-0002-4205-2189
Google Scholar ID
vG7Gj6QAAAAJ
Researcher Id
A-1774-2009
Scopus Author Id
6507501441

Endereços de correio eletrónico

  • vasco.manquinho@tecnico.ulisboa.pt (Profissional)

Telefones

Telefone
  • 213100204 (Profissional)

Moradas

  • Rua Alves Redol, 9, 1000-029, Lisboa, Lisboa, Portugal (Profissional)

Websites

Domínios de atuação

  • Ciências da Engenharia e Tecnologias - Engenharia Eletrotécnica, Eletrónica e Informática
  • Ciências da Engenharia e Tecnologias - Engenharia Eletrotécnica, Eletrónica e Informática

Idiomas

Idioma Conversação Leitura Escrita Compreensão Peer-review
Português (Idioma materno)
Inglês Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C2) Utilizador proficiente (C1)
Percurso profissional

Ciência

Categoria Profissional
Instituição de acolhimento 		Empregador
2001 - Atual Investigador (Investigação) Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal

Docência no Ensino Superior

Categoria Profissional
Instituição de acolhimento 		Empregador
2015/03/20 - Atual Professor Associado (Docente Universitário) Universidade de Lisboa Instituto Superior Técnico, Portugal
2006/07/20 - 2015/03/20 Professor Auxiliar (Docente Universitário) Universidade de Lisboa Instituto Superior Técnico, Portugal
Universidade de Lisboa Instituto Superior Técnico, Portugal
2001/09/01 - 2006/07/20 Assistente (Docente Universitário) Universidade de Lisboa Instituto Superior Técnico, Portugal
Universidade de Lisboa Instituto Superior Técnico, Portugal

Cargos e Funções

Categoria Profissional
Instituição de acolhimento 		Empregador
2016/01/01 - 2018/01/01 Coordenação ou direção de centro de investigação, departamento ou equivalente Universidade de Lisboa, Portugal
Projetos

Projeto

Designação Financiadores
2020/01/01 - 2022/12/31 LAIfeBlood - Inteligência Artificial para a Gestão do Sangue
DSAIPA/AI/0033/2019
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal

Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento, Portugal
Fundação para a Ciência e a Tecnologia
Em curso
2019/01/01 - 2021/12/31 Data2Help: Ciência de Dados para Optimização de Serviços de Emergência Médica
DSAIPA/AI/0044/2018
Investigador responsável
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal

Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento, Portugal

Instituto Nacional de Emergência Médica IP, Portugal
Fundação para a Ciência e a Tecnologia
Em curso
2018/10/01 - 2021/09/30 DOME: Métodos de Optimização Discreta para Gestão Energética
PTDC/CCI-COM/31198/2017
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal

Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento, Portugal
Fundação para a Ciência e a Tecnologia
Em curso
2018/10/01 - 2021/09/30 INFOCOS: Feedback Inteligente para alunos contentes
PTDC/CCI-COM/32378/2017
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
 Fundação para a Ciência e a Tecnologia
Em curso
2018/09/01 - 2019/08/31 DeepData: Data Science in the Azores Deep Sea
CMU/AIR/0022/2017
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído
2015/01/01 - 2015/12/31 AMOS: Algoritmos para Cursos Online Abertos e Massivos
CMUP-EPB/TIC/0049/2013
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído
2012/03/01 - 2015/08/31 POLARIS: Algoritmos para a Hierarquia Polinomial
PTDC/EIA-CCO/123051/2010
Investigador
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído
2010/04/04 - 2013/10/03 ParSat - Algoritmos Paralelos de Satisfação e suas Aplicações
PTDC/EIA-EIA/103532/2008
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído
2010/04/01 - 2013/09/30 iExplain - Raciocínio sobre não satisfação
PTDC/EIA-CCO/102077/2008
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído
2008/01/01 - 2011/08/31 BSOLO - Satisfação e optimização com restrições Booleanas
PTDC/EIA/76572/2006
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído
2008/01/01 - 2010/12/31 SHIPs: Inferência de Haplotipos por Parcimónia Pura baseada em Satisfação Proposicional
PTDC/EIA/64164/2006
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal

Universidade Nova de Lisboa Faculdade de Ciências Médicas, Portugal
Fundação para a Ciência e a Tecnologia
Concluído
2005/03/01 - 2008/11/30 SATPot: Algoritmos de satisfação, aplicações e extensões
POSC/EIA/61852/2004
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído
Produções

Publicações

Artigo em conferência
  1. Vasco Manquinho; Pedro Orvalho; Mikoláš Janota. "MultIPAs: applying program transformations to introductory programming assignments for data augmentation". 2022.
    10.1145/3540250.3558931
  2. Vasco Manquinho; Miguel Cabral; Mikoláš Janota. "SAT-Based Leximax Optimisation Algorithms". 2022.
    10.4230/LIPICS.SAT.2022.29
  3. Oliveira, Leonor da Conceição Silva Ribeiro e Alves de; Helena Galhardas; Manquinho, Vasco; Henriques, Rui. "UNIANO: robust and efficient anomaly consensus in time series sensitive to cross-correlated anomaly profiles". Trabalho apresentado em SIAM International Conference on Data Mining (SDM21), 2021.
    No prelo
  4. Ansong Ni; Daniel Rosa Ramos; Aidan Yang; Inês Lynce; Manquinho, Vasco; Ruben Martins; Claire Le Goues. "SOAR: A Synthesis Approach for Data Science API Refactoring". Trabalho apresentado em 43rd International Conference on Software Engineering (ICSE), 2021.
    No prelo
  5. "The Seesaw Algorithm: Function Optimization Using Implicit Hitting Sets". 2021.
    10.4230/LIPIcs.CP.2021.31
  6. "AlloyMax: bringing maximum satisfaction to relational specifications". 2021.
    10.1145/3468264.3468587
  7. Daniel Ramos; Pereira, Jorge; Inês Lynce; Manquinho, Vasco; Martins, Ruben. "UnchartIt: An Interactive Framework for Program Recovery from Charts". Trabalho apresentado em IEEE/ACM International Conference on Automated Software Engineering (ASE), Melbourne, 2020.
    Publicado • 10.1145/3324884.3416613
  8. Miguel Terra-Neves; Inês Lynce; Manquinho, Vasco. "Integrating Pseudo-Boolean Constraint Reasoning in Multi-Objective Evolutionary Algorithms". Trabalho apresentado em International Joint Conference on Artificial Intelligence (IJCAI), 2019.
    10.24963/ijcai.2019/165
  9. Miguel Terra-Neves; Nuno Machado; Inês Lynce; Manquinho, Vasco. "Concurrency Debugging with MaxSMT". Trabalho apresentado em AAAI Conference on Artificial Intelligence, 2019.
    10.1609/aaai.v33i01.33011608
  10. Guerreiro, Andreia; Miguel Terra-Neves; Inês Lynce; Figueira, José Rui; Manquinho, Vasco. "Constraint-Based Techniques in Stochastic Local Search MaxSAT Solving". Trabalho apresentado em International Conference on Principles and Practice of Constraint Programming (CP), 2019.
    10.1007/978-3-030-30048-7\_14
  11. Orvalho, Pedro; Miguel Terra-Neves; Miguel Ventura; Ruben Martins; Manquinho, Vasco. "Encodings for Enumeration-Based Program Synthesis". Trabalho apresentado em International Conference on Principles and Practice of Constraint Programming (CP), 2019.
    10.1007/978-3-030-30048-7\_34
  12. Miguel Terra-Neves; Inês Lynce; Manquinho, Vasco. "Multi-Objective Optimization Through Pareto Minimal Correction Subsets". Trabalho apresentado em International Joint Conference on Artificial Intelligence (IJCAI), 2018.
    Publicado • 10.24963/ijcai.2018/757
  13. Miguel Terra-Neves; Inês Lynce; Manquinho, Vasco. "Stratification for Constraint-Based Multi-Objective Combinatorial Optimization". Trabalho apresentado em International Joint Conference on Artificial Intelligence (IJCAI), 2018.
    Publicado • 10.24963/ijcai.2018/191
  14. Miguel Terra-Neves; Inês Lynce; Manquinho, Vasco. "Enhancing Constraint-Based Multi-Objective Combinatorial Optimization". Trabalho apresentado em AAAI Conference on Artificial Intelligence, 2018.
    Publicado
  15. Janota, Mikolá¿; Radu Grigore; Manquinho, Vasco. "On the Quest for an Acyclic Graph". Trabalho apresentado em International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, 2017.
    Publicado
  16. Gouveia, Filipe; Monteiro, Pedro T; Manquinho, Vasco; Inês Lynce. "Logic-Based Encodings for Ricochet Robots". Trabalho apresentado em EPIA Conference on Artificial Intelligence, 2017.
    Publicado • 10.1007/978-3-319-65340-2_54
  17. Miguel Terra-Neves; Inês Lynce; Manquinho, Vasco. "Introducing Pareto Minimal Correction Subsets". Trabalho apresentado em International Conference on Theory and Applications of Satisfiability Testing (SAT), 2017.
    Publicado • 10.1007/978-3-319-66263-3_13
  18. Miguel Terra-Neves; Inês Lynce; Manquinho, Vasco. "Non-Portfolio Approaches for Distributed Maximum Satisfiability". Trabalho apresentado em IEEE International Conference on Tools with Artificial Intelligence (ICTAI), 2016.
    Publicado • 10.1109/ictai.2016.0073
  19. Xujie Si; Xin Zhang; Manquinho, Vasco; Janota, Mikolá¿; Ignatiev, A.; Mayur Naik. "On Incremental Core-Guided MaxSAT Solving". Trabalho apresentado em International Conference on Principles and Practice of Constraint Programming (CP), 2016.
    Publicado • 10.1007/978-3-319-44953-1_30
  20. Miguel Terra-Neves; Ruben Martins; Janota, Mikolá¿; Inês Lynce; Manquinho, Vasco. "Exploiting resolution-based representations for MaxSAT solving". Trabalho apresentado em International Conference on Theory and Applications of Satisfiability Testing (SAT), 2015.
    Publicado • 10.1007/978-3-319-24318-4_20
  21. Saurabh Joshi; Ruben Martins; Manquinho, Vasco. "Generalized Totalizer encoding for pseudo-boolean constraints". Trabalho apresentado em International Conference on Principles and Practice of Constraint Programming (CP), 2015.
    10.1007/978-3-319-23219-5_15
  22. Ruben Martins; Saurabh Joshi; Manquinho, Vasco; Inês Lynce. "Incremental cardinality constraints for MaxSAT". Trabalho apresentado em International Conference on Principles and Practice of Constraint Programming (CP), 2014.
    Publicado • 10.1007/978-3-319-10428-7_39
  23. Marques-Silva, J.P.; Ignatiev, A.; Morgado, A.; Manquinho, Vasco; Inês Lynce. "Efficient autarkies". Trabalho apresentado em European Conference on Artificial Intelligence (ECAI), 2014.
    10.3233/978-1-61499-419-0-603
  24. Ignatiev, A.; Morgado, A.; Manquinho, Vasco; Inês Lynce; Marques-Silva, J.P.. "Progression in maximum satisfiability". Trabalho apresentado em European Conference on Artificial Intelligence (ECAI), 2014.
    Publicado • 10.3233/978-1-61499-419-0-453
  25. Ruben Martins; Manquinho, Vasco; Inês Lynce. "Open-WBO: A modular MaxSAT solver". Trabalho apresentado em International Conference Theory and Applications of Satisfiability Testing (SAT), 2014.
    Publicado • 10.1007/978-3-319-09284-3-33
  26. Ruben Martins; Manquinho, Vasco; Inês Lynce. "Community-based partitioning for MaxSAT solving". Trabalho apresentado em International Conference on Theory and Applications of Satisfiability Testing (SAT), 2013.
    Publicado • 10.1007/978-3-642-39071-5_14
  27. Ruben Martins; Manquinho, Vasco; Inês Lynce. "On partitioning for maximum satisfiability". Trabalho apresentado em European Conference on Artificial Intelligence (ECAI), 2012.
    Publicado • 10.3233/978-1-61499-098-7-913
  28. Ruben Martins; Manquinho, Vasco; Inês Lynce. "Clause sharing in parallel MaxSAT". Trabalho apresentado em International Conference on Learning and Intelligent Optimization (LION), 2012.
    Publicado • 10.1007/978-3-642-34413-8_44
  29. Ruben Martins; Manquinho, Vasco; Inês Lynce. "Exploiting cardinality encodings in parallel maximum satisfiability". Trabalho apresentado em IEEE 23rd International Conference on Tools with Artificial Intelligence (ICTAI), 2011.
    Publicado • 10.1109/ICTAI.2011.54
  30. Ruben Martins; Manquinho, Vasco; Inês Lynce. "Improving search space splitting for parallel SAT solving". Trabalho apresentado em 22nd {IEEE} International Conference on Tools with Artificial Intelligence (ICTAI), 2010.
    Publicado • 10.1109/ICTAI.2010.56
  31. Manquinho, Vasco; Ruben Martins; Inês Lynce. "Improving unsatisfiability-based algorithms for boolean optimization". Trabalho apresentado em International Conference on Theory and Applications of Satisfiability Testing (SAT), 2010.
    Publicado • 10.1007/978-3-642-14186-7_16
  32. Joao Delgado; Inês Lynce; Manquinho, Vasco. "Computing the summed adjacency disruption number between two genomes with duplicate genes using pseudo-Boolean optimization". Trabalho apresentado em International Workshop Comparative Genomics (RECOMB-CG), 2009.
    Publicado • 10.1007/978-3-642-04744-2_12
  33. Manquinho, Vasco; Marques-Silva, J.P.; Jordi Planes. "Algorithms for weighted boolean optimization". Trabalho apresentado em International Conference on Theory and Applications of Satisfiability Testing (SAT), 2009.
    Publicado • 10.1007/978-3-642-02777-2_45
  34. José Fragoso Santos; Manquinho, Vasco. "Learning techniques for pseudo-boolean solving". Trabalho apresentado em International Workshop on the Implementation of Logics, 2008.
    Publicado
  35. Marques-Silva, J.P.; Inês Lynce; Manquinho, Vasco. "Symmetry breaking for maximum satisfiability". Trabalho apresentado em International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR), 2008.
    Publicado • 10.1007/978-3-540-89439-1_1
  36. Marques-Silva, J.P.; Manquinho, Vasco. "Towards more effective unsatisfiability-based maximum satisfiability algorithms". Trabalho apresentado em International Conference on Theory and Applications of Satisfiability Testing (SAT), 2008.
    Publicado • 10.1007/978-3-540-79719-7_21
  37. Federico Heras; Manquinho, Vasco; Marques-Silva, J.P.. "On applying unit propagation-based lower bounds in pseudo-boolean optimization". Trabalho apresentado em International Florida Artificial Intelligence Research Society Conference (FLAIRS), 2008.
    Publicado
  38. António Morgado; Paulo Matos; Manquinho, Vasco; Marques-Silva, J.P.. "Counting models in integer domains". Trabalho apresentado em International Conference on Theory and Applications of Satisfiability Testing (SAT), 2006.
    Publicado
  39. Manquinho, Vasco; Marques-Silva, J.. "Satisfiability-based algorithms for pseudo-boolean optimization using gomory cuts and search restarts". Trabalho apresentado em IEEE International Conference on Tools with Artificial Intelligence (ICTAI), 2005.
    Publicado • 10.1109/ICTAI.2005.113
  40. Manquinho, Vasco; Marques-Silva, J.P.. "On applying cutting planes in DLL-based algorithms for pseudo-boolean optimization". Trabalho apresentado em International Conference Theory and Applications of Satisfiability Testing (SAT), 2005.
    Publicado
  41. Manquinho, Vasco; Marques-Silva, J.P.. "Effective lower bounding techniques for Pseudo-Boolean Optimization". Trabalho apresentado em Design, Automation and Test in Europe Conference (DATE), 2005.
    Publicado • 10.1109/DATE.2005.126
  42. Manquinho, Vasco; Marques-Silva, J.P.. "Integration of lower bound estimates in Pseudo-Boolean optimization". Trabalho apresentado em IEEE International Conference on Tools with Artificial Intelligence (ICTAI), 2004.
    Publicado • 10.1109/ICTAI.2004.76
  43. Manquinho, Vasco; Marques-Silva, J.P.. "Using Lower-Bound Estimates in SAT-Based Pseudo-Boolean Optimization". Trabalho apresentado em International Conference on Theory and Applications of Satisfiability Testing (SAT), 2004.
    Publicado
  44. Manquinho, Vasco; Marques-Silva, J.P.. "Search Pruning Conditions for Boolean Optimization". Trabalho apresentado em European Conference on Artificial Intelligence (ECAI), Berlim, 2000.
    Publicado
  45. Manquinho, Vasco; Marques-Silva, J.P.. "On using satisfiability-based pruning techniques in covering algorithms". Trabalho apresentado em Design, Automation and Test in Europe (DATE), 2000.
    Publicado • 10.1109/DATE.2000.840296
  46. Manquinho, Vasco; Marques-Silva, J.P.. "On Solving Boolean Optimization with Satisfiability-Based Algorithms". Trabalho apresentado em International Symposium on Artificial Intelligence and Mathematics (AMAI), 2000.
    Publicado
  47. Manquinho, Vasco; Paulo Flores; Marques-Silva, J.P.; Oliveira, Arlindo. "Prime implicant computation using satisfiability algorithms". 1997.
    Publicado
Artigo em revista
  1. Vasco Manquinho; Leonor Oliveira e Silva; Magda Resende; Helena Galhardas; Ines Lynce. "DeepData: Machine learning in the marine ecosystems". Expert Systems with Applications 206 (2022): 117841-117841. http://dx.doi.org/10.1016/j.eswa.2022.117841.
    10.1016/j.eswa.2022.117841
  2. Tiago Almeida; Vasco Manquinho. "Constraint-based electoral districting using a new compactness measure: An application to Portugal". Computers & Operations Research (2022): https://doi.org/10.1016/j.cor.2022.105892.
    10.1016/j.cor.2022.105892
  3. Thomas James Tiam-Lee; Rui Henriques; Vasco Manquinho. "Associative Analysis of Inefficiencies and Station Activity Levels in Emergency Response". ISPRS International Journal of Geo-Information (2022): https://doi.org/10.3390/ijgi11070356.
    10.3390/ijgi11070356
  4. Andreia P. Guerreiro; Vasco Manquinho; José Rui Figueira. "Exact hypervolume subset selection through incremental computations". Computers & Operations Research 136 (2021): 105471-105471. https://doi.org/10.1016/j.cor.2021.105471.
    10.1016/j.cor.2021.105471
  5. Orvalho, Pedro; Miguel Terra-Neves; Miguel Ventura; Ruben Martins; Manquinho, Vasco. "SQUARES : A SQL Synthesizer Using Query Reverse Engineering". Proc. VLDB Endow. 13 12 (2020): 2853-2856. http://www.vldb.org/pvldb/vol13/p2853-orvalho.pdf.
  6. Miguel Terra-Neves; Inês Lynce; Manquinho, Vasco. "Virtual machine consolidation using constraint-based multi-objective optimization". J. Heuristics 25 3 (2018): 339-375. https://doi.org/10.1007/s10732-018-9400-2.
    Publicado • 10.1007/s10732-018-9400-2
  7. Pedro Varela; Inês Lynce; Manquinho, Vasco; Chaouiya, Claudine; Monteiro, Pedro T. "Stable States of Boolean Regulatory Networks Composed Over Hexagonal Grids". Electron. Notes Theor. Comput. Sci. 335 (2018): 113-130. https://doi.org/10.1016/j.entcs.2018.03.011.
    Publicado • 10.1016/j.entcs.2018.03.011
  8. Ruben Martins; Manquinho, Vasco; Inês Lynce. "Deterministic parallel MaxSAT solving". International Journal on Artificial Intelligence Tools 24 3 (2015): 1-25. http://www.scopus.com/inward/record.url?eid=2-s2.0-84930799888&partnerID=MN8TOARS.
    Publicado • 10.1142/s0218213015500050
  9. Ruben Martins; Manquinho, Vasco; Inês Lynce. "Improving linear search algorithms with model-based approaches for MaxSAT solving". Journal of Experimental and Theoretical Artificial Intelligence 27 5 (2015): 673-701. http://www.scopus.com/inward/record.url?eid=2-s2.0-84922340446&partnerID=MN8TOARS.
    10.1080/0952813X.2014.993508
  10. Miguel Miranda; Inês Lynce; Manquinho, Vasco. "Inferring phylogenetic trees using pseudo-Boolean optimization". AI Communications 27 3 (2014): 229-243. http://www.scopus.com/inward/record.url?eid=2-s2.0-84901757092&partnerID=MN8TOARS.
    10.3233/AIC-140592
  11. Ruben Martins; Saurabh Joshi; Manquinho, Vasco; Inês Lynce. "On Using Incremental Encodings in Unsatisfiability-based MaxSAT Solving". Journal Satisfiability Boolean Modelling Computation 9 1 (2014): 59-81. https://satassociation.org/jsat/index.php/jsat/article/view/126.
    Publicado
  12. Ruben Martins; Manquinho, Vasco; Inês Lynce. "An overview of parallel SAT solving". Constraints 17 3 (2012): 304-347. http://www.scopus.com/inward/record.url?eid=2-s2.0-84865232764&partnerID=MN8TOARS.
    Publicado • 10.1007/s10601-012-9121-3
  13. Ruben Martins; Manquinho, Vasco; Inês Lynce. "Parallel search for maximum satisfiability". AI Communications 25 2 (2012): 75-95. http://www.scopus.com/inward/record.url?eid=2-s2.0-84864428731&partnerID=MN8TOARS.
    Publicado • 10.3233/AIC-2012-0517
  14. Janota, Mikolá¿; Inês Lynce; Manquinho, Vasco; Marques-Silva, J.P.. "PackUp: Tools for Package Upgradability Solving". Journal Satisfiability Boolean Modelling Computation 8 1 (2012): 89-94. https://satassociation.org/jsat/index.php/jsat/article/view/97.
    Publicado
  15. Joao Delgado; Inês Lynce; Manquinho, Vasco. "Computing the summed adjacency disruption number between two genomes with duplicate genes". Journal of Computational Biology 17 9 (2010): 1243-1265. http://www.scopus.com/inward/record.url?eid=2-s2.0-77958071093&partnerID=MN8TOARS.
    Publicado • 10.1089/cmb.2010.0098
  16. Kao, W.-C.; Chuang, W.-S.; Lin, H.-T.; Li, J.C.-M.; Manquinho, Vasco. "DFT and minimum leakage pattern generation for static power reduction during test and burn-in". IEEE Transactions on Very Large Scale Integration (VLSI) Systems 18 3 (2010): 392-400. http://www.scopus.com/inward/record.url?eid=2-s2.0-77649185652&partnerID=MN8TOARS.
    Publicado • 10.1109/TVLSI.2008.2011048
  17. Ewald Speckenmeyer; Armando Tacchella; Manquinho, Vasco; Chu Min Li. "Guest Editors Conclusion". J. Satisf. Boolean Model. Comput. 4 2-4 (2008): https://satassociation.org/jsat/index.php/jsat/article/view/54.
  18. Manquinho, Vasco; Olivier Roussel. "The First Evaluation of Pseudo-Boolean Solvers (PB'05)". Journal Satisfiability Boolean Modelling Computation 2 1-4 (2006): 103-143. https://satassociation.org/jsat/index.php/jsat/article/view/22.
    Publicado
  19. Manquinho, Vasco; Marques-Silva, J.P.. "On Using Cutting Planes in Pseudo-Boolean Optimization". Journal Satisfiability Boolean Modelling Computation 2 1-4 (2006): 209-219. https://satassociation.org/jsat/index.php/jsat/article/view/27.
    Publicado
  20. Manquinho, Vasco; Marques-Silva, J.P.. "Satisfiability-based algorithms for Boolean optimization". Annals of Mathematics and Artificial Intelligence 40 3-4 (2004): 353-372. http://www.scopus.com/inward/record.url?eid=2-s2.0-4043152845&partnerID=MN8TOARS.
    Publicado
  21. Manquinho, Vasco; Marques-Silva, J.P.. "Search pruning techniques in SAT-based branch-and-bound algorithms for the binate covering problem". IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 21 5 (2002): 505-516. http://www.scopus.com/inward/record.url?eid=2-s2.0-0036576020&partnerID=MN8TOARS.
    Publicado • 10.1109/43.998623
Capítulo de livro
  1. Inês Lynce; Manquinho, Vasco; Ruben Martins. "Parallel Maximum Satisfiability". In Handbook of Parallel Constraint Reasoning, 61-99. 2018.
    Publicado • 10.1007/978-3-319-63516-3\_3
  2. Olivier Roussel; Manquinho, Vasco. "Pseudo-boolean and cardinality constraints". In Handbook of Satisfiability, 695-733. IOS Press, 2009.
    Publicado • 10.3233/978-1-58603-929-5-695
  3. Inês Lynce; Manquinho, Vasco; Marques-Silva, J.P.. "Backtracking". In Wiley Encyclopedia of Computer Science and Engineering. 2008.
    Publicado • 10.1002/9780470050118.ecse033
Relatório
  1. Ruben Martins; Saurabh Joshi; Inês Lynce; Manquinho, Vasco. 2019. Reflections on "Incremental Cardinality Constraints for MaxSAT". http://arxiv.org/abs/1910.04643.
Atividades

Orientação

Título / Tema
Papel desempenhado 		Curso (Tipo)
Instituição / Organização
2018/09/15 - 2019/10/30 SQUARES: A SQL Synthesizer Using Query Reverse Engineering
Orientador
 Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2018/09/15 - 2019/10/30 Program Synthesis from Noisy Tabular Data
Orientador de Daniel Rosa Ramos
 Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2018/09/15 - 2019/10/30 Flying Tourist Problem: An Integer Linear Programming Approach
Coorientador
 Engenharia Aeroespacial (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2018/09/15 - 2019/10/30 DeepData: Machine Learning in the Marine Ecosystems
Coorientador
 Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2018/09/15 - 2019/10/30 New Language for Program Test Generation
Coorientador
 Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2018/09/15 - 2019/10/30 Data Center Optimization Using Virtual Machine Pro¿les
Coorientador
 Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2019 - 2019 Constraint-Based Multi-Objective Combinatorial Optimization
Orientador
 Engenharia Informática e de Computadores (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2017/09/15 - 2018/10/30 Solving Treewidth in Graphs using MaxSAT
Orientador
 Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2017/02/15 - 2018/04/30 Algorithms for Water Leakage Control Systems
Orientador
 Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2017/02/15 - 2018/04/30 Optimization Algorithms in Forest Planning Models
Orientador
 Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2015/09/15 - 2017/04/30 Algorithms for Maximum Satis¿ability using GPU
Coorientador
 Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2017 - 2017 Automatic generation of test cases for Massive Open Online Courses (MOOCs)
Orientador
 Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2017 - 2017 Algorithms for Markov Logic Networks
Orientador
 Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2015 - 2015 Automatic Generation of Exercises for Massive Open Online Courses (MOOCs)
Orientador
 Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2014 - 2014 Distributed Solver for Maximum Satisfiability
Orientador
 Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2011 - 2011 Algorithms for Phylogenetic Tree Inference
Orientador
 Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2011 - 2011 Efficient Algorithmos for the Assessment of Stochastic Multiobjective Optimizers
Coorientador
 Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2008/09/15 - 2009/10/30 Pseudo-Boolean Approaches to Comparative Genomics
Orientador
 Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2009 - 2009 Parallel Search for Maximum Satisfiability
Coorientador
 Engenharia Informática e de Computadores (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal