???global.info.a_carregar???
Inês Lynce is a Professor at IST and a researcher at INESC-ID. She is currently serving as President of INESC-ID. Inês is a well-established researcher in the broad field of artificial intelligence, namely in constraint solving and optimization. Her main contributions include developing search algorithms and applying those algorithms to solve practical problems. Ines received the 2008 Delloite-ULisbon award and the 2009 PremeIA award from the Portuguese Association for Artificial Intelligence. Since 2022 she has served as Associate Editor for the Editorial Board of the Artificial Intelligence Journal (AIJ). She has co-organized the 2018 SAT-SMT-AR summer school and is the co-chair of the 21st International Conference on Theory and Applications of Satisfiability Testing (SAT¿19). Ines publishes at and is a recurrent member of the program committees of the IJCAI, AAAI, ECAI, CP, and SAT conferences.
Ler resumo completo ↓
Identificação

Identificação pessoal

Nome completo
Inês Lynce

Nomes de citação

  • Inês Lynce

Identificadores de autor

Ciência ID
2114-E5E9-6ADC
ORCID iD
0000-0003-4868-415X

Endereços de correio eletrónico

  • ines.lynce@tecnico.ulisboa.pt (Profissional)

Moradas

  • INESC-ID Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa. Rua Alves Redol 9, 1000-029, Lisboa, Lisboa, Portugal (Profissional)

Websites

  • http://sat.inesc-id.pt/~ines (Profissional)

Domínios de atuação

  • Ciências Exatas - Ciências da Computação e da Informação - Ciências da Computação
Formação
Grau Classificação
2020/07/28
Concluído
 Engenharia Informática e de Computadores (Título de Agregado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
 Aprovado por unanimidade
2005
Concluído
 Engenharia Informática e de Computadores (Doutoramento)
Especialização em Sem especialidade
Universidade de Lisboa Instituto Superior Técnico, Portugal
"Propositional Satisfiability: Techniques, Algorithms and Applications" (TESE/DISSERTAÇÃO)
2001
Concluído
 Engenharia Electrotécnica e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
"Algebraic Simplification Techniques for Propositional Satisfiability" (TESE/DISSERTAÇÃO)
 Aprovado por unanimidade
1998
Concluído
 Engenharia Informática e de Computadores (Licenciatura)
Universidade de Lisboa Instituto Superior Técnico, Portugal
"Sistema de apoio à consulta de subvisão do Hospital de Santa Maria" (TESE/DISSERTAÇÃO)
 16 valores
Percurso profissional

Ciência

Categoria Profissional
Instituição de acolhimento 		Empregador
2005/02/04 - Atual Investigador (Investigação) 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
2021 - Atual Professor Catedrático (Docente Universitário) Universidade de Lisboa Instituto Superior Técnico, Portugal
Universidade de Lisboa Instituto Superior Técnico, Portugal
2013 - 2021 Professor Associado (Docente Universitário) Universidade de Lisboa Instituto Superior Técnico, Portugal
2005 - 2013 Professor Auxiliar (Docente Universitário) Universidade de Lisboa Instituto Superior Técnico, Portugal
Projetos

Bolsa

Designação Financiadores
2013/07 - 2016/06 Large-Scale Data Management in Cloud Environments
grant.Provided by PTCRIS: 127044
 Fundação para a Ciência e a Tecnologia
2011/03 - 2014/08 ASPEN: Answer Set Programming with BoolEaN Satisfiability
grant.Provided by PTCRIS: 110921
 Fundação para a Ciência e a Tecnologia
2010/10 - 2014/03 ATTEST: AlgoriThms and Tools for reasoning about dEpendable SysTems
grant.Provided by PTCRIS: 110713
 Fundação para a Ciência e a Tecnologia
2010/04 - 2013/10 ParSat - Parallel Satisfiability Algorithms and its Applications
grant.Provided by PTCRIS: 103532
 Fundação para a Ciência e a Tecnologia
2010/04 - 2013/09 iExplain - Reasoning About Unsatisfiability
grant.Provided by PTCRIS: 102077
 Fundação para a Ciência e a Tecnologia
2008 - 2011 MANCOOSI: Managing the complexity of the open source infrastructure
FP7-214898
 European Commission
2008/01 - 2010/12 SHIPs: Sat-based Haplotype Inference by Pure Parsimony
grant.Provided by PTCRIS: 64164
 Fundação para a Ciência e a Tecnologia
2005/03 - 2008/11 SATPot: SATisfiability algorithms, aPplicatiOns and exTensions
grant.Provided by PTCRIS: 61852
 Fundação para a Ciência e a Tecnologia

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
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/09/01 - 2021/08/31 FaultLocker: Ferramentas para localização e reparo de falhas em software crítico
PTDC/CCI-COM/29300/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
2016/07/01 - 2019/06/30 ERGODiC - Métodos formais para a análise da dinâmica de redes modulares de regulação genética
PTDC/EEI-CTP/2914/2014
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal

Fundação Calouste Gulbenkian, 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
Produções

Publicações

Artigo em conferência
  1. Margarida Ferreira; Miguel Terra-Neves; Miguel Ventura; Inês Lynce; Ruben Martins. "FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions.". Trabalho apresentado em TACAS, 2021.
    Aceite para publicação
  2. Ramos, Daniel; Pereira, Jorge; Lynce, Inês; Manquinho, Vasco; Martins, Ruben. "UNCHARTIT: An Interactive Framework for Program Recovery from Charts". Trabalho apresentado em IEEE/ACM International Conference on Automated Software Engineering, 2020.
    Publicado • 10.1145/3324884.3416613
  3. Terra-Neves, M.; Lynce, I.; Manquinho, V.. "Non-portfolio approaches for distributed maximum satisfiability". Trabalho apresentado em ICTAI, 2017.
    10.1109/ICTAI.2016.70
  4. Gouveia, F.; Monteiro, P.T.; Manquinho, V.; Lynce, I.. "Logic-based encodings for ricochet robots". Trabalho apresentado em EPIA, 2017.
    10.1007/978-3-319-65340-2_54
  5. Terra-Neves, M.; Lynce, I.; Manquinho, V.. "Introducing pareto minimal correction subsets". Trabalho apresentado em Satisfiability: Applications and Theory (SAT), 2017.
    10.1007/978-3-319-66263-3_13
  6. Marques-Silva, J.; Lynce, I.. "Towards robust CNF encodings of cardinality constraints". 2017.
  7. Neves, M.; Martins, R.; Janota, M.; Lynce, I.; Manquinho, V.. "Exploiting resolution-based representations for MaxSAT solving". 2015.
    10.1007/978-3-319-24318-4_20
  8. Marques-Silva, J.; Ignatiev, A.; Morgado, A.; Manquinho, V.; Lynce, I.. "Efficient autarkies". 2014.
    10.3233/978-1-61499-419-0-603
  9. Ignatiev, A.; Morgado, A.; Manquinho, V.; Lynce, I.; Marques-Silva, J.. "Progression in maximum satisfiability". 2014.
    10.3233/978-1-61499-419-0-453
  10. Martins, R.; Joshi, S.; Manquinho, V.; Lynce, I.. "Incremental cardinality constraints for MaxSAT". 2014.
    10.1007/978-3-319-10428-7_39
  11. Martins, R.; Manquinho, V.; Lynce, I.. "Open-WBO: A modular MaxSAT solver". 2014.
    10.1007/978-3-319-09284-3_33
  12. Martins, R.; Manquinho, V.; Lynce, I.. "Community-based partitioning for MaxSAT solving". 2013.
    10.1007/978-3-642-39071-5_14
  13. Lynce, I.. "Satisfiability: Where theory meets Practice". 2012.
    10.4230/LIPIcs.CSL.2012.12
  14. Graça, A.; Lynce, I.; Marques-Silva, J.; Oliveira, A.L.. "Efficient and accurate haplotype inference by combining parsimony and pedigree information". 2012.
    10.1007/978-3-642-28067-2_3
  15. Guerra, J.; Lynce, I.. "Reasoning over biological networks using maximum satisfiability". 2012.
    10.1007/978-3-642-33558-7_67
  16. Martins, R.; Manquinho, V.; Lynce, I.. "Clause sharing in parallel MaxSAT". 2012.
    10.1007/978-3-642-34413-8_44
  17. Martins, R.; Manquinho, V.; Lynce, I.. "On partitioning for maximum satisfiability". 2012.
    10.3233/978-1-61499-098-7-913
  18. Belov, A.; Janota, M.; Lynce, I.; Marques-Silva, J.. "On computing minimal equivalent subformulas". 2012.
    10.1007/978-3-642-33558-7_14
  19. Martins, R.; Manquinho, V.; Lynce, I.. "Exploiting cardinality encodings in parallel maximum satisfiability". 2011.
    10.1109/ICTAI.2011.54
  20. Marques-Silva, J.; Lynce, I.. "On improving MUS extraction algorithms". 2011.
    10.1007/978-3-642-21581-0_14
  21. Graça, A.; Marques-Silva, J.; Lynce, I.. "Haplotype inference using propositional satisfiability". 2011.
    10.1007/978-1-4419-6800-5_7
  22. Argelich, J.; Cabiscol, A.; Lynce, I.; Manyà, F.. "New insights into encodings from MaxCSP into partial MaxSAT". 2010.
    10.1109/ISMVL.2010.17
  23. Trezentos, P.; Lynce, I.; Oliveira, A.L.. "Apt-pbo: Solving the software dependency problem using pseudo-boolean optimization". 2010.
    10.1145/1858996.1859087
  24. Martins, R.; Manquinho, V.; Lynce, I.. "Improving search space splitting for parallel SAT solving". 2010.
    10.1109/ICTAI.2010.56
  25. Marques-Silva, J.; Argelich, J.; Graça, A.; Lynce, I.. "Boolean lexicographic optimization". 2010.
  26. Manquinho, Vasco; Martins, Ruben; Lynce, Ines; Strichman, O; Szeider, S. "Improving Unsatisfiability-Based Algorithms for Boolean Optimization". 2010.
  27. Peschiera, Claudia; Pulina, Luca; Tacchella, Armando; Bubeck, Uwe; Kullmann, Oliver; Lynce, Ines; Strichman, O; Szeider, S. "The Seventh QBF Solvers Evaluation (QBFEVAL'10)". 2010.
  28. Peschiera, C.; Pulina, L.; Tacchella, A.; Bubeck, U.; Kullmann, O.; Lynce, I.. "The seventh QBF solvers evaluation (QBFEVAL'10)". 2010.
    10.1007/978-3-642-14186-7_20
  29. Marques-Silva, J.; Janota, M.; Lynce, I.. "On computing backbones of propositional theories". 2010.
    10.3233/978-1-60750-606-5-15
  30. Manquinho, V.; Martins, R.; Lynce, I.. "Improving unsatisfiability-based algorithms for boolean optimization". 2010.
    10.1007/978-3-642-14186-7_16
  31. Argelich, J.; Cabiscol, A.; Lynce, I.; Man¿a, F.. "Regular encodings from Max-CSP into partial Max-SAT". 2009.
    10.1109/ISMVL.2009.23
  32. Lynce, I.; Marques-Silva, J.. "Restoring CSP satisfiability with MaxSAT?". 2009.
  33. Argelich, J.; Lynce, I.; Marques-Silva, J.. "On solving boolean multilevel optimization problems". 2009.
  34. Argelich, Josep; Cabiscol, Alba; Lynce, Ines; Manya, Felip; IEEE. "Regular Encodings from Max-CSP into Partial Max-SAT". 2009.
  35. Argelich, Josep; Lynce, Ines; Marques-Silva, Joao; Boutilier, C. "On Solving Boolean Multilevel Optimization Problems". 2009.
  36. Argelich, Josep; Cabiscol, Alba; Lynce, Ines; Manya, Felip; Kullmann, O. "Sequential Encodings from Max-CSP into Partial Max-SAT". 2009.
  37. Argelich, J.; Lynce, I.. "CNF instances from the software package installation problem". 2009.
  38. Marques-Silva, J.; Lynce, I.; Malik, S.. "Conflict-driven clause learning SAT solvers". 2009.
    10.3233/978-1-58603-929-5-131
  39. Argelich, J.; Cabiscol, A.; Lynce, I.; Manyà, F.. "Sequential encodings from Max-CSP into partial Max-SAT". 2009.
    10.1007/978-3-642-02777-2_17
  40. Delgado, J.; Lynce, I.; Manquinho, V.. "Computing the summed adjacency disruption number between two genomes with duplicate genes using pseudo-Boolean optimization". 2009.
    10.1007/978-3-642-04744-2_12
  41. Delgado, Joao; Lynce, Ines; Manquinho, Vasco; Ciccarelli, FD; Miklos, I. "Computing the Summed Adjacency Disruption Number between Two Genomes with Duplicate Genes Using Pseudo-Boolean Optimization". 2008.
  42. Argelich, J.; Cabiscol, A.; Lynce, I.; Manyà, F.. "Encoding Max-CSP into partial Max-SAT". 2008.
    10.1109/ISMVL.2008.22
  43. Lynce, I.; Graca, A.; Marques-Silva, J.; Oliveira, A.L.. "Haplotype inference with boolean constraint solving: An overview". 2008.
    10.1109/ICTAI.2008.135
  44. Argelich, Josep; Cabiscol, Alba; Lynce, Ines; Manya, Felip; Buning, HK; Zhao, XH. "Modelling Max-CSP as partial Max-SAT". 2008.
  45. Graca, Ana; Marques-Silva, Joao; Lynce, Ines; Oliveira, Arlindo L.; Perron, L; Trick, MA. "Efficient haplotype inference with combined CP and OR techniques". 2008.
  46. Argelich, J.; Cabiscol, A.; Lynce, I.; Manyà, F.. "Modelling Max-CSP as partial Max-SAT". 2008.
    10.1007/978-3-540-79719-7_1
  47. Graça, A.; Marques-Silva, J.; Lynce, I.; Oliveira, A.L.. "Efficient haplotype inference with combined CP and or techniques". 2008.
    10.1007/978-3-540-68155-7_28
  48. Marques-Silva, J.; Lynce, I.; Manquinho, V.. "Symmetry breaking for maximum satisfiability". 2008.
    10.1007/978-3-540-89439-1_1
  49. Marques-Silva, Joao; Lynce, Ines; Graca, Ana; Oliveira, Arlindo L.; Neves, J; Santos, MF; Machado, JM. "Efficient and tight upper bounds for haplotype inference by pure parsimony using delayed haplotype selection". 2007.
  50. Marques-Silva, Joao; Lynce, Ines; Bessiere, C. "Towards robust CNF encodings of cardinality constraints". 2007.
  51. Prestwich, S.; Lynce, I.. "Refutation by randomised general resolution". 2007.
  52. Graca, Ana; Marques-Silva, Joao; Lynce, Ines; Oliveira, Arlindo L.; Anai, H; Horimoto, K; Kutsia, T. "Efficient haplotype inference with pseudo-boolean optimization". 2007.
  53. Lynce, I.; Marques-Silva, J.; Lynce, Ines; Marques-Silva, Joao; MarquesSilva, J; Sakallah, KA. "Breaking symmetries in SAT matrix models". 2007.
  54. Marques-Silva, J.; Lynce, I.; Graça, A.; Oliveira, A.L.. "Efficient and tight upper bounds for haplotype inference by pure parsimony using delayed haplotype selection". 2007.
  55. Graça, A.; Marques-Silva, J.; Lynce, I.; Oliveira, A.L.. "Efficient haplotype inference with pseudo-boolean optimization". 2007.
  56. Marques-Silva, J.; Lynce, I.. "SAT solvers". 2006.
    10.1017/CBO9781139177801.013
  57. Lynce, I.; Marques-Silva, J.. "Efficient haplotype inference with Boolean Satisfiability". 2006.
  58. Kullmann, Oliver; Lynce, Ines; Marques-Silva, Joao; Biere, A; Gomes, CP. "Categorisation of clauses in conjunctive normal forms: Minimally unsatisfiable sub-clause-sets and the lean kernel". 2006.
  59. Prestwich, Steven; Lynce, Ines; Biere, A; Gomes, CP. "Local search for unsatisfiability". 2006.
  60. Lynce, I.; Ouaknine, J.. "Sudoku as a SAT problem". 2006.
  61. Lynce, Ines; Marques-Silva, Joao; Biere, A; Gomes, CP; Lynce, I.; Marques-Silva, J.. "SAT in bioinformatics: Making the case with haplotype inference". 2006.
  62. Prestwich, S.; Lynce, I.. "Local search for unsatisfiability". 2006.
  63. Kullmann, O.; Lynce, I.; Marques-Silva, J.. "Categorisation of clauses in conjunctive normal forms: Minimally unsatisfiable sub-clause-sets and the Lean Kernel". 2006.
  64. Mneimneh, M.; Lynce, I.; Andraus, Z.; Marques-Silva, J.; Sakallah, K.. "A branch-and-bound algorithm for extracting smallest minimal unsatisfiable formulas". 2005.
  65. Lynce, I.; Marques-Silva, J.. "Hidden structure in unsatisfiable random 3-SAT: An empirical study". 2004.
  66. Lynce, I.; Marques-Silva, J.. "Probing-Based Preprocessing Techniques for Propositional Satisfiability". 2003.
  67. Lynce, I.; Marques-Silva, J.. "The effect of nogood recording in DPLL-CBJ SAT algorithms". 2003.
  68. Bhalla, A.; Lynce, I.; De Sousa, J.T.; Marques-Silva, J.. "Heuristic backtracking algorithms for SAT". 2003.
    10.1109/MTV.2003.1250265
  69. Bhalla, A; Lynce, I; de Sousa, JT; Marques-Silva, J; Abadir, MS; Wang, LC. "Heuristic backtracking algorithms for SAT". 2003.
  70. Bhalla, A; Lynce, I; de Sousa, JT; Marques-Silva, J; Pires, FM; Abreu, S. "Heuristic-based backtracking for propositional satisfiability". 2003.
  71. Lynce, I; Marques-Silva, J; Werner, B. "Probing-based preprocessing techniques for propositional satisfiability". 2003.
    10.1109/TAI.2003.1250177
  72. Bhalla, A.; Lynce, I.; De Sousa, J.T.; Marques-Silva, J.. "Heuristic-based backtracking for prepositional satisfiability". 2003.
  73. Lynce, I; Marques-Silva, J; OSullivan, B. "The effect of nogood recording in DPLL-CBJ SAT algorithms". 2002.
  74. Lynce, I; Marques-Silva, J; VanHarmelen, F. "Building state-of-the-art SAT solvers". 2002.
  75. Lynce, I.; Baptista, L.; Marques-Silva, J.. "Towards provably complete stochastic search algorithms for satisfiability". 2001.
  76. Lynce, I.; Marques-Silva, J.. "Improving SAT algorithms by using search pruning techniques". 2001.
Artigo em revista
  1. Leonor Oliveira e Silva; Magda Resende; Helena Galhardas; Vasco Manquinho; Inês Lynce. "DeepData: Machine learning in the marine ecosystems". Expert Systems with Applications (2022): https://doi.org/10.1016/j.eswa.2022.117841.
    10.1016/j.eswa.2022.117841
  2. Alexandre Lemos; Pedro T. Monteiro; Inês Lynce. "Introducing UniCorT: an iterative university course timetabling tool with MaxSAT". Journal of Scheduling (2021): https://doi.org/10.1007/s10951-021-00695-6.
    10.1007/s10951-021-00695-6
  3. Alexandre Lemos; Pedro T. Monteiro; Inês Lynce. "Disruptions in timetables: a case study at Universidade de Lisboa". Journal of Scheduling (2020): https://doi.org/10.1007/s10951-020-00666-3.
    10.1007/s10951-020-00666-3
  4. Lemos, Alexandre; Lynce, Inês; Monteiro, Pedro T.. "Repairing Boolean logical models from time-series data using Answer Set Programming". Algorithms for Molecular Biology 14 1 (2019): http://dx.doi.org/10.1186/s13015-019-0145-8.
    Publicado • 10.1186/s13015-019-0145-8
  5. Terra-Neves, Miguel; Lynce, Inês; Manquinho, Vasco. "Virtual machine consolidation using constraint-based multi-objective optimization". Journal of Heuristics 25 3 (2018): 339-375. http://dx.doi.org/10.1007/s10732-018-9400-2.
    Publicado • 10.1007/s10732-018-9400-2
  6. Martins, R.; Manquinho, V.; Lynce, I.. "Deterministic parallel MaxSAT solving". International Journal on Artificial Intelligence Tools 24 3 (2015): http://www.scopus.com/inward/record.url?eid=2-s2.0-84930799888&partnerID=MN8TOARS.
    10.1142/s0218213015500050
  7. Janota, M.; Lynce, I.; Marques-Silva, J.. "Algorithms for computing backbones of propositional formulae". AI Communications 28 2 (2015): 161-177. http://www.scopus.com/inward/record.url?eid=2-s2.0-84922535838&partnerID=MN8TOARS.
    10.3233/AIC-140640
  8. Martins, R.; Manquinho, V.; Lynce, I.. "Improving linear search algorithms with model-based approaches for MaxSAT solving". Journal of Experimental and Theoretical Artificial Intelligence (2015): http://www.scopus.com/inward/record.url?eid=2-s2.0-84922340446&partnerID=MN8TOARS.
    10.1080/0952813X.2014.993508
  9. Belov, A.; Janota, M.; Lynce, I.; Marques-Silva, J.. "Algorithms for computing minimal equivalent subformulas". Artificial Intelligence 216 (2014): 309-326. http://www.scopus.com/inward/record.url?eid=2-s2.0-84907340206&partnerID=MN8TOARS.
    10.1016/j.artint.2014.07.011
  10. Camacho, R.; Carreira, P.; Lynce, I.; Resendes, S.. "An ontology-based approach to conflict resolution in Home and Building Automation Systems". Expert Systems with Applications 41 14 (2014): 6161-6173. http://www.scopus.com/inward/record.url?eid=2-s2.0-84901398577&partnerID=MN8TOARS.
    10.1016/j.eswa.2014.04.017
  11. Miranda, M.; Lynce, I.; Manquinho, V.. "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
  12. Martins, R.; Manquinho, V.; Lynce, I.. "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.
    10.1007/s10601-012-9121-3
  13. Belov, A.; Lynce, I.; Marques-Silva, J.. "Towards efficient MUS extraction". AI Communications 25 2 (2012): 97-116. http://www.scopus.com/inward/record.url?eid=2-s2.0-84864443564&partnerID=MN8TOARS.
    10.3233/AIC-2012-0523
  14. Martins, R.; Manquinho, V.; Lynce, I.. "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.
    10.3233/AIC-2012-0517
  15. Argelich, J.; Cabiscol, A.; Lynce, I.; Manyà, F.. "Efficient encodings from CSP into SAT, and from MaxCSP into MaxSAT". Journal of Multiple-Valued Logic and Soft Computing 19 1-3 (2012): 3-23. http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=ORCID&SrcApp=OrcidOrg&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=WOS:000305440000002&KeyUID=WOS:000305440000002.
  16. Lynce, I.; Marques-Silva, J.. "Restoring CSP satisfiability with MaxSAT". Fundamenta Informaticae 107 2-3 (2011): 249-266. http://www.scopus.com/inward/record.url?eid=2-s2.0-80052620573&partnerID=MN8TOARS.
    10.3233/FI-2011-402
  17. Marques-Silva, J.; Argelich, J.; Graça, A.; Lynce, I.. "Boolean lexicographic optimization: Algorithms & applications". Annals of Mathematics and Artificial Intelligence 62 3-4 (2011): 317-343. http://www.scopus.com/inward/record.url?eid=2-s2.0-84856553406&partnerID=MN8TOARS.
    10.1007/s10472-011-9233-2
  18. Graça, A.; Marques-Silva, J.; Lynce, I.; Oliveira, A.L.. "Haplotype inference with pseudo-Boolean optimization". Annals of Operations Research 184 1 (2011): 137-162. http://www.scopus.com/inward/record.url?eid=2-s2.0-79952281186&partnerID=MN8TOARS.
    10.1007/s10479-009-0675-4
  19. Delgado, J.; Lynce, I.; Manquinho, V.. "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.
    10.1089/cmb.2010.0098
  20. Graça, A.; Lynce, I.; Marques-Silva, J.; Oliveira, A.L.. "Haplotype inference by pure parsimony: A survey". Journal of Computational Biology 17 8 (2010): 969-992. http://www.scopus.com/inward/record.url?eid=2-s2.0-77956065828&partnerID=MN8TOARS.
    10.1089/cmb.2009.0101
  21. Liffiton, M.; Mneimneh, M.; Lynce, I.; Andraus, Z.; Marques-Silva, J.; Sakallah, K.. "A branch and bound algorithm for extracting smallest minimal unsatisfiable subformulas". Constraints 14 4 (2009): 415-442. http://www.scopus.com/inward/record.url?eid=2-s2.0-70349507165&partnerID=MN8TOARS.
    10.1007/s10601-008-9058-8
  22. Lynce, I.; Marques-Silva, J.. "Haplotype inference with boolean satisfiability". International Journal on Artificial Intelligence Tools 17 2 (2008): 355-387. http://www.scopus.com/inward/record.url?eid=2-s2.0-44349166261&partnerID=MN8TOARS.
    10.1142/S0218213008003935
  23. Lynce, I.; Marques-Silva, J.; Prestwich, S.. "Boosting haplotype inference with local search". Constraints 13 1-2 (2008): 155-179. http://www.scopus.com/inward/record.url?eid=2-s2.0-42749093615&partnerID=MN8TOARS.
    10.1007/s10601-007-9035-7
  24. Lynce, I.; Marques-Silva, J.. "Random backtracking in backtrack search algorithms for satisfiability". Discrete Applied Mathematics 155 12 (2007): 1604-1612. http://www.scopus.com/inward/record.url?eid=2-s2.0-34250214528&partnerID=MN8TOARS.
    10.1016/j.dam.2005.10.021
  25. Gent, Ian P.; Jefferson, Chris; Kelsey, Tom; Lynce, Ines; Miguel, Ian; Nightingale, Peter; Smith, Barbara M.; et al. "Search in the patience game 'Black Hole'". Ai Communications 20 3 (2007): 211-226. http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=ORCID&SrcApp=OrcidOrg&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=WOS:000249884100005&KeyUID=WOS:000249884100005.
  26. Lynce, Ines. "Propositional satisfiability: Techniques, algorithms and applications". Ai Communications 19 2 (2006): 187-189. http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=ORCID&SrcApp=OrcidOrg&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=WOS:000238257300007&KeyUID=WOS:000238257300007.
  27. Lynce, I.. "Propositional satisfiability: Techniques, algorithms and applications". AI Communications 19 2 (2006): 187-189. http://www.scopus.com/inward/record.url?eid=2-s2.0-33744920333&partnerID=MN8TOARS.
  28. Bhalla, A.; Lynce, I.; De Sousa, J.T.; Marques-Silva, J.. "Heuristic-based backtracking relaxation for propositional satisfiability". Journal of Automated Reasoning 35 1-3 (2005): 3-24. http://www.scopus.com/inward/record.url?eid=2-s2.0-33750323402&partnerID=MN8TOARS.
    10.1007/s10817-005-9005-y
  29. Lynce, I.; Marques-Silva, J.; Lynce, I; Marques-Silva, J. "Efficient data structures for backtrack search SAT solvers". Annals of Mathematics and Artificial Intelligence 43 1-4 (2005): 137-152. http://www.scopus.com/inward/record.url?eid=2-s2.0-10344261575&partnerID=MN8TOARS.
    10.1007/s10472-004-9425-0
  30. Lynce, I.; Marques-Silva, J.P.. "An overview of backtrack search satisfiability algorithms". Annals of Mathematics and Artificial Intelligence 37 3 (2003): 307-326. http://www.scopus.com/inward/record.url?eid=2-s2.0-0037212944&partnerID=MN8TOARS.
    10.1023/A:1021264516079
  31. Lynce, I.; Baptista, L.; Marques-Silva, J.. "Stochastic systematic search algorithms for satisfiability". Electronic Notes in Discrete Mathematics 9 (2001): 190-204. http://www.scopus.com/inward/record.url?eid=2-s2.0-34247130152&partnerID=MN8TOARS.
Artigo em revista (magazine)
  1. Marques-Silva, J.; Sakallah, K.; Lynce, I.. "Report on the SAT 2007 Conference on Theory and Applications of Satisfiability Testing", AI Magazine, 2007, http://www.scopus.com/inward/record.url?eid=2-s2.0-39049123097&partnerID=MN8TOARS.
Capítulo de livro
  1. João Cortes; Inês Lynce; Vasco Manquinho. "New Core-Guided and Hitting Set Algorithms for Multi-Objective Combinatorial Optimization". 2023.
    10.1007/978-3-031-30820-8_7
  2. Alexandre Lemos; Pedro T. Monteiro; Inês Lynce. "Minimal Perturbation in University Timetabling with Maximum Satisfiability". 2020.
    10.1007/978-3-030-58942-4_21
  3. Filipe Gouveia; Inês Lynce; Pedro T. Monteiro. "ModRev - Model Revision Tool for Boolean Logical Models of Biological Regulatory Networks". 2020.
    10.1007/978-3-030-60327-4_18

Outros

Outra produção
  1. Semi-automatic model revision of Boolean regulatory networks: confronting time-series observations with (a)synchronous dynamics. 2020. Filipe Gouveia; Inês Lynce; Pedro T. Monteiro. https://doi.org/10.1101/2020.05.10.086900.
    10.1101/2020.05.10.086900
Atividades

Orientação

Título / Tema
Papel desempenhado 		Curso (Tipo)
Instituição / Organização
2016 - 2021 Solving Scheduling Problems under Disruptions
Orientador
 Doutoramento em Engenharia Informática e de Computadores (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2015 - 2019 Constraint-Based Multi-Objective Combinatorial Optimization
Coorientador
 Doutoramento em Engenharia Informática e de Computadores (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2009 - 2013 Parallel Search for Maximum Satisfiability
Orientador
 Doutoramento em Engenharia Informática e de Computadores
Universidade de Lisboa Instituto Superior Técnico, Portugal
2006 - 2010 Satisfiability-based Algorithms for Haplotype Inference
Orientador
 Doutoramento em Engenharia Informática e de Computadores (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2004 - 2010 Resolution of Dependencies in the Installation of Software Components
Coorientador
Universidade de Lisboa Instituto Superior Técnico, Portugal
Distinções

Prémio

2009 INESC-ID Young Researcher Award
2009 APPIA PremeIA Award
2008 UTL/Delloite Young Researcher Award
2001 Best student's poster

Outra distinção

2021 Artificial Intelligence Journal (AIJ) Member of the Editorial Board (ongoing)
2017 H2020 Submitted projects reviewer
European Commission, Bélgica
2017 H2020 Ongoing projects reviewer
European Commission, Bélgica
2017 Best student paper award SAT conference
2016 Co-Organizer SAT/SMT/AR summer school
2016 "Four decades of AI in Portugal" name mentioned @ AI Magazine
2015 AAAI Senior Program Committee Member
2015 IJCAI Senior Program Committee Member
2014 SAT Workshop Chair
2011 IJCAI Senior Program Committee Member
2011 AAAI Area Chair
2010 Visitor University College Dublin
2010 JAIR Member of the Editorial Board (ongoing)
2009 APPIA PremeIA Award
2009 INESC-ID Young Researcher Award
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
2006 Patent (PT 103434)
2006 Visitor University of Southampton
2005 Visitor University College Cork
2004 Visitor University of St Andrews
2003 Visitor Cornell University