???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.
Read full resume ↓
Identification

Personal identification

Full name
Inês Lynce

Citation names

  • Inês Lynce

Author identifiers

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

Email addresses

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

Addresses

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

Websites

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

Knowledge fields

  • Exact Sciences - Computer and Information Sciences - Computer Sciences
Education
Degree Classification
2020/07/28
Concluded
 Engenharia Informática e de Computadores (Título de Agregado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
 Aprovado por unanimidade
2005
Concluded
 Engenharia Informática e de Computadores (Doutoramento)
Major in Sem especialidade
Universidade de Lisboa Instituto Superior Técnico, Portugal
"Propositional Satisfiability: Techniques, Algorithms and Applications" (THESIS/DISSERTATION)
2001
Concluded
 Engenharia Electrotécnica e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
"Algebraic Simplification Techniques for Propositional Satisfiability" (THESIS/DISSERTATION)
 Aprovado por unanimidade
1998
Concluded
 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" (THESIS/DISSERTATION)
 16 valores
Affiliation

Science

Category
Host institution 		Employer
2005/02/04 - Current Researcher (Research) Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal

Teaching in Higher Education

Category
Host institution 		Employer
2021 - Current Full Professor (University Teacher) Universidade de Lisboa Instituto Superior Técnico, Portugal
Universidade de Lisboa Instituto Superior Técnico, Portugal
2013 - 2021 Associate Professor (University Teacher) Universidade de Lisboa Instituto Superior Técnico, Portugal
2005 - 2013 Assistant Professor (University Teacher) Universidade de Lisboa Instituto Superior Técnico, Portugal
Projects

Grant

Designation Funders
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

Contract

Designation Funders
2023/03/12 - 2024/09/11 Raciocínio sobre Discriminação Indireta
2022.03537.PTDC
10.54499/2022.03537.PTDC
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
 Fundação para a Ciência e a Tecnologia
Ongoing
2020/01/01 - 2023/06/30 LAIfeBlood - Inteligência Artificial para a Gestão do Sangue
DSAIPA/AI/0033/2019
10.54499/DSAIPA/AI/0033/2019
Instituto Superior Técnico Centro de Estudos de Gestão, Portugal

FCiênciasID Associação para a Investigação e Desenvolvimento de Ciências, Portugal

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

LASIGE Laboratório de Sistemas Informáticos de Grande Escala, Portugal

Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
Fundação para a Ciência e a Tecnologia
Concluded
2020/04/01 - 2023/03/31 GOLEM: Automated Programming to Revolutionize App Development
LISBOA-01-0247-FEDER-045917
Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal
 Agência Nacional de Inovação SA

Fundação para a Ciência e a Tecnologia
Concluded
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 Nacional de Emergência Médica IP, Portugal

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

Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
Fundação para a Ciência e a Tecnologia
Ongoing
2018/09/01 - 2019/08/31 DeepData: Data Science in the Azores Deep Sea
CMU/AIR/0022/2017
Centro de Ciências do Mar e do Ambiente, Portugal

Instituto do Mar, Portugal

Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
Fundação para a Ciência e a Tecnologia
Concluded
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
Fundação Calouste Gulbenkian, Portugal

Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
Fundação para a Ciência e a Tecnologia
Concluded
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
Concluded
Outputs

Publications

Book chapter
  1. 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
  2. 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
  3. Filipe Gouveia; Inês Lynce; Pedro T. Monteiro. "Model Revision of Boolean Regulatory Networks at Stable State". 2019.
    10.1007/978-3-030-20242-2_9
  4. Inês Lynce; Manquinho, Vasco; Ruben Martins. "Parallel Maximum Satisfiability". In Handbook of Parallel Constraint Reasoning, 61-99. 2018.
    Published • 10.1007/978-3-319-63516-3\_3
  5. Inês Lynce; Manquinho, Vasco; Marques-Silva, J.P.. "Backtracking". In Wiley Encyclopedia of Computer Science and Engineering. 2008.
    Published • 10.1002/9780470050118.ecse033
Conference paper
  1. Ramos, Daniel; Mitchell, Hailie; Lynce, Inês; Manquinho, Vasco; Martins, Ruben; Goues, Claire Le. "MELT: Mining Effective Lightweight Transformations from Pull Requests". 2023.
    10.1109/ase56229.2023.00117
  2. Calhas, David; Manquinho, Vasco; Inês Lynce. "Automatic Generation of Neural Architecture Search Spaces". Paper presented in The AAAI Conference on Artificial Intelligence - Combining Learning and Reasoning: Programming Languages, Formalisms, and Representations, 2022.
  3. João Cortes; Inês Lynce; Vasco Manquinho. "New Core-Guided and Hitting Set Algorithms for Multi-Objective Combinatorial Optimization". Paper presented in 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2022.
    10.1007/978-3-031-30820-8_7
  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". Paper presented in 43rd International Conference on Software Engineering (ICSE), 2021.
    In press
  5. Margarida Ferreira; Miguel Terra-Neves; Miguel Ventura; Inês Lynce; Ruben Martins. "FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions.". Paper presented in TACAS, 2021.
    Accepted
  6. Lemos, A.; Pedro T Monteiro; Inês Lynce. "ITC 2019: University Course Timetabling with MaxSAT". Paper presented in Practice and Theory of Automated Timetabling, 2020.
    Accepted
  7. Ramos, Daniel; Pereira, Jorge; Lynce, Inês; Manquinho, Vasco; Martins, Ruben. "UNCHARTIT: An Interactive Framework for Program Recovery from Charts". Paper presented in IEEE/ACM International Conference on Automated Software Engineering, 2020.
    Published • 10.1145/3324884.3416613
  8. Miguel Terra-Neves; Inês Lynce; Manquinho, Vasco. "Integrating Pseudo-Boolean Constraint Reasoning in Multi-Objective Evolutionary Algorithms". Paper presented in 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". Paper presented in 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". Paper presented in International Conference on Principles and Practice of Constraint Programming (CP), 2019.
    10.1007/978-3-030-30048-7\_14
  11. Miguel Terra-Neves; Inês Lynce; Manquinho, Vasco. "Multi-Objective Optimization Through Pareto Minimal Correction Subsets". Paper presented in International Joint Conference on Artificial Intelligence (IJCAI), 2018.
    Published • 10.24963/ijcai.2018/757
  12. Miguel Terra-Neves; Inês Lynce; Manquinho, Vasco. "Stratification for Constraint-Based Multi-Objective Combinatorial Optimization". Paper presented in International Joint Conference on Artificial Intelligence (IJCAI), 2018.
    Published • 10.24963/ijcai.2018/191
  13. Miguel Terra-Neves; Inês Lynce; Manquinho, Vasco. "Enhancing Constraint-Based Multi-Objective Combinatorial Optimization". Paper presented in AAAI Conference on Artificial Intelligence, 2018.
    Published
  14. Terra-Neves, M.; Lynce, I.; Manquinho, V.. "Non-portfolio approaches for distributed maximum satisfiability". Paper presented in ICTAI, 2017.
    10.1109/ICTAI.2016.70
  15. Gouveia, F.; Monteiro, P.T.; Manquinho, V.; Lynce, I.. "Logic-based encodings for ricochet robots". Paper presented in EPIA, 2017.
    10.1007/978-3-319-65340-2_54
  16. Terra-Neves, M.; Lynce, I.; Manquinho, V.. "Introducing pareto minimal correction subsets". Paper presented in Satisfiability: Applications and Theory (SAT), 2017.
    10.1007/978-3-319-66263-3_13
  17. Marques-Silva, J.; Lynce, I.. "Towards robust CNF encodings of cardinality constraints". 2017.
  18. 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
  19. Marques-Silva, J.; Ignatiev, A.; Morgado, A.; Manquinho, V.; Lynce, I.. "Efficient autarkies". 2014.
    10.3233/978-1-61499-419-0-603
  20. Ignatiev, A.; Morgado, A.; Manquinho, V.; Lynce, I.; Marques-Silva, J.. "Progression in maximum satisfiability". 2014.
    10.3233/978-1-61499-419-0-453
  21. Martins, R.; Joshi, S.; Manquinho, V.; Lynce, I.. "Incremental cardinality constraints for MaxSAT". 2014.
    10.1007/978-3-319-10428-7_39
  22. Martins, R.; Manquinho, V.; Lynce, I.. "Open-WBO: A modular MaxSAT solver". 2014.
    10.1007/978-3-319-09284-3_33
  23. Martins, R.; Manquinho, V.; Lynce, I.. "Community-based partitioning for MaxSAT solving". 2013.
    10.1007/978-3-642-39071-5_14
  24. Lynce, I.. "Satisfiability: Where theory meets Practice". 2012.
    10.4230/LIPIcs.CSL.2012.12
  25. 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
  26. Guerra, J.; Lynce, I.. "Reasoning over biological networks using maximum satisfiability". 2012.
    10.1007/978-3-642-33558-7_67
  27. Martins, R.; Manquinho, V.; Lynce, I.. "Clause sharing in parallel MaxSAT". 2012.
    10.1007/978-3-642-34413-8_44
  28. Martins, R.; Manquinho, V.; Lynce, I.. "On partitioning for maximum satisfiability". 2012.
    10.3233/978-1-61499-098-7-913
  29. Belov, A.; Janota, M.; Lynce, I.; Marques-Silva, J.. "On computing minimal equivalent subformulas". 2012.
    10.1007/978-3-642-33558-7_14
  30. Martins, R.; Manquinho, V.; Lynce, I.. "Exploiting cardinality encodings in parallel maximum satisfiability". 2011.
    10.1109/ICTAI.2011.54
  31. Marques-Silva, J.; Lynce, I.. "On improving MUS extraction algorithms". 2011.
    10.1007/978-3-642-21581-0_14
  32. Graça, A.; Marques-Silva, J.; Lynce, I.. "Haplotype inference using propositional satisfiability". 2011.
    10.1007/978-1-4419-6800-5_7
  33. Argelich, J.; Cabiscol, A.; Lynce, I.; Manyà, F.. "New insights into encodings from MaxCSP into partial MaxSAT". 2010.
    10.1109/ISMVL.2010.17
  34. Trezentos, P.; Lynce, I.; Oliveira, A.L.. "Apt-pbo: Solving the software dependency problem using pseudo-boolean optimization". 2010.
    10.1145/1858996.1859087
  35. Martins, R.; Manquinho, V.; Lynce, I.. "Improving search space splitting for parallel SAT solving". 2010.
    10.1109/ICTAI.2010.56
  36. Marques-Silva, J.; Argelich, J.; Graça, A.; Lynce, I.. "Boolean lexicographic optimization". 2010.
  37. Manquinho, Vasco; Martins, Ruben; Lynce, Ines; Strichman, O; Szeider, S. "Improving Unsatisfiability-Based Algorithms for Boolean Optimization". 2010.
  38. Peschiera, Claudia; Pulina, Luca; Tacchella, Armando; Bubeck, Uwe; Kullmann, Oliver; Lynce, Ines; Strichman, O; Szeider, S. "The Seventh QBF Solvers Evaluation (QBFEVAL'10)". 2010.
  39. 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
  40. Marques-Silva, J.; Janota, M.; Lynce, I.. "On computing backbones of propositional theories". 2010.
    10.3233/978-1-60750-606-5-15
  41. Manquinho, V.; Martins, R.; Lynce, I.. "Improving unsatisfiability-based algorithms for boolean optimization". 2010.
    10.1007/978-3-642-14186-7_16
  42. Argelich, J.; Cabiscol, A.; Lynce, I.; Man¿a, F.. "Regular encodings from Max-CSP into partial Max-SAT". 2009.
    10.1109/ISMVL.2009.23
  43. Lynce, I.; Marques-Silva, J.. "Restoring CSP satisfiability with MaxSAT?". 2009.
  44. Argelich, J.; Lynce, I.; Marques-Silva, J.. "On solving boolean multilevel optimization problems". 2009.
  45. Argelich, Josep; Cabiscol, Alba; Lynce, Ines; Manya, Felip; IEEE. "Regular Encodings from Max-CSP into Partial Max-SAT". 2009.
  46. Argelich, Josep; Lynce, Ines; Marques-Silva, Joao; Boutilier, C. "On Solving Boolean Multilevel Optimization Problems". 2009.
  47. Argelich, Josep; Cabiscol, Alba; Lynce, Ines; Manya, Felip; Kullmann, O. "Sequential Encodings from Max-CSP into Partial Max-SAT". 2009.
  48. Argelich, J.; Lynce, I.. "CNF instances from the software package installation problem". 2009.
  49. Marques-Silva, J.; Lynce, I.; Malik, S.. "Conflict-driven clause learning SAT solvers". 2009.
    10.3233/978-1-58603-929-5-131
  50. 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
  51. 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
  52. 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.
  53. Argelich, J.; Cabiscol, A.; Lynce, I.; Manyà, F.. "Encoding Max-CSP into partial Max-SAT". 2008.
    10.1109/ISMVL.2008.22
  54. Lynce, I.; Graca, A.; Marques-Silva, J.; Oliveira, A.L.. "Haplotype inference with boolean constraint solving: An overview". 2008.
    10.1109/ICTAI.2008.135
  55. Argelich, Josep; Cabiscol, Alba; Lynce, Ines; Manya, Felip; Buning, HK; Zhao, XH. "Modelling Max-CSP as partial Max-SAT". 2008.
  56. Graca, Ana; Marques-Silva, Joao; Lynce, Ines; Oliveira, Arlindo L.; Perron, L; Trick, MA. "Efficient haplotype inference with combined CP and OR techniques". 2008.
  57. Argelich, J.; Cabiscol, A.; Lynce, I.; Manyà, F.. "Modelling Max-CSP as partial Max-SAT". 2008.
    10.1007/978-3-540-79719-7_1
  58. 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
  59. Marques-Silva, J.; Lynce, I.; Manquinho, V.. "Symmetry breaking for maximum satisfiability". 2008.
    10.1007/978-3-540-89439-1_1
  60. 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.
  61. Marques-Silva, Joao; Lynce, Ines; Bessiere, C. "Towards robust CNF encodings of cardinality constraints". 2007.
  62. Prestwich, S.; Lynce, I.. "Refutation by randomised general resolution". 2007.
  63. Graca, Ana; Marques-Silva, Joao; Lynce, Ines; Oliveira, Arlindo L.; Anai, H; Horimoto, K; Kutsia, T. "Efficient haplotype inference with pseudo-boolean optimization". 2007.
  64. Lynce, I.; Marques-Silva, J.; Lynce, Ines; Marques-Silva, Joao; MarquesSilva, J; Sakallah, KA. "Breaking symmetries in SAT matrix models". 2007.
  65. 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.
  66. Graça, A.; Marques-Silva, J.; Lynce, I.; Oliveira, A.L.. "Efficient haplotype inference with pseudo-boolean optimization". 2007.
  67. Marques-Silva, J.; Lynce, I.. "SAT solvers". 2006.
    10.1017/CBO9781139177801.013
  68. Lynce, I.; Marques-Silva, J.. "Efficient haplotype inference with Boolean Satisfiability". 2006.
  69. 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.
  70. Prestwich, Steven; Lynce, Ines; Biere, A; Gomes, CP. "Local search for unsatisfiability". 2006.
  71. Lynce, I.; Ouaknine, J.. "Sudoku as a SAT problem". 2006.
  72. Lynce, Ines; Marques-Silva, Joao; Biere, A; Gomes, CP; Lynce, I.; Marques-Silva, J.. "SAT in bioinformatics: Making the case with haplotype inference". 2006.
  73. Prestwich, S.; Lynce, I.. "Local search for unsatisfiability". 2006.
  74. Kullmann, O.; Lynce, I.; Marques-Silva, J.. "Categorisation of clauses in conjunctive normal forms: Minimally unsatisfiable sub-clause-sets and the Lean Kernel". 2006.
  75. Mneimneh, M.; Lynce, I.; Andraus, Z.; Marques-Silva, J.; Sakallah, K.. "A branch-and-bound algorithm for extracting smallest minimal unsatisfiable formulas". 2005.
  76. Lynce, I.; Marques-Silva, J.. "Hidden structure in unsatisfiable random 3-SAT: An empirical study". 2004.
  77. Lynce, I.; Marques-Silva, J.. "Probing-Based Preprocessing Techniques for Propositional Satisfiability". 2003.
  78. Lynce, I.; Marques-Silva, J.. "The effect of nogood recording in DPLL-CBJ SAT algorithms". 2003.
  79. Bhalla, A.; Lynce, I.; De Sousa, J.T.; Marques-Silva, J.. "Heuristic backtracking algorithms for SAT". 2003.
    10.1109/MTV.2003.1250265
  80. Bhalla, A; Lynce, I; de Sousa, JT; Marques-Silva, J; Abadir, MS; Wang, LC. "Heuristic backtracking algorithms for SAT". 2003.
  81. Bhalla, A; Lynce, I; de Sousa, JT; Marques-Silva, J; Pires, FM; Abreu, S. "Heuristic-based backtracking for propositional satisfiability". 2003.
  82. Lynce, I; Marques-Silva, J; Werner, B. "Probing-based preprocessing techniques for propositional satisfiability". 2003.
    10.1109/TAI.2003.1250177
  83. Bhalla, A.; Lynce, I.; De Sousa, J.T.; Marques-Silva, J.. "Heuristic-based backtracking for prepositional satisfiability". 2003.
  84. Lynce, I; Marques-Silva, J; OSullivan, B. "The effect of nogood recording in DPLL-CBJ SAT algorithms". 2002.
  85. Lynce, I; Marques-Silva, J; VanHarmelen, F. "Building state-of-the-art SAT solvers". 2002.
  86. Inês Lynce; Baptista, Luís; J. P. Marques-Silva. "Unrestricted Backtracking Algorithms for Satisfiability". Paper presented in AAAI Fall Symposium Using Uncertainty within Computation, 2001.
  87. Baptista, Luís; Inês Lynce; J. P. Marques-Silva. "Complete Search Restart Strategies for Satisfiability". Paper presented in IJCAI Workshop on Stochastic Search Algorithms, 2001.
  88. Lynce, I.; Baptista, L.; Marques-Silva, J.. "Towards provably complete stochastic search algorithms for satisfiability". 2001.
  89. Lynce, I.; Marques-Silva, J.. "Improving SAT algorithms by using search pruning techniques". 2001.
Journal article
  1. Filipe Gouveia; Pedro T Monteiro; Inês Lynce; Alexandre Lemos. "Iterative Train Scheduling under Disruption with Maximum Satisfiability". Journal of Artificial Intelligence Research (2024):
    Accepted
  2. P. Guerreiro, A.; Cortes, J.; Vanderpooten, D.; Bazgan, C.; Lynce, I.; Manquinho, V.; Figueira, J.R.. "Exact and approximate determination of the Pareto front using Minimal Correction Subsets". Computers & Operations Research 153 (2023): 106153. http://dx.doi.org/10.1016/j.cor.2023.106153.
    10.1016/j.cor.2023.106153
  3. 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
  4. 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
  5. Lemos, A.; Pedro T Monteiro; Inês Lynce. "Introducing UniCorT: A University Course Timetabling Tool". Journal of Scheduling (2021):
    Accepted
  6. 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
  7. Filipe Gouveia; Inês Lynce; Pedro T. Monteiro. "Revision of Boolean Models of Regulatory Networks Using Stable State Observations". Journal of Computational Biology 27 2 (2020): 144-155. http://dx.doi.org/10.1089/cmb.2019.0289.
    10.1089/cmb.2019.0289
  8. 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.
    Published • 10.1186/s13015-019-0145-8
  9. 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.
    Published • 10.1007/s10732-018-9400-2
  10. Pedro L. Varela; Inês Lynce; Vasco Manquinho; Claudine Chaouiya; Pedro T. Monteiro. "Stable States of Boolean Regulatory Networks Composed Over Hexagonal Grids". Electronic Notes in Theoretical Computer Science 335 (2018): 113-130. https://doi.org/10.1016%2Fj.entcs.2018.03.011.
    10.1016/j.entcs.2018.03.011
  11. Filipe Gouveia; Inês Lynce; Pedro T. Monteiro. "Model Revision of Logical Regulatory Networks Using Logic-Based Tools". (2018): http://drops.dagstuhl.de/opus/volltexte/2018/9889/.
    10.4230/oasics.iclp.2018.23
  12. 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
  13. 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
  14. 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
  15. 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
  16. 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
  17. 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
  18. 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.
    Published
  19. 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
  20. 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
  21. 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
  22. 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.
  23. 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.
    Published
  24. 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
  25. 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
  26. 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
  27. 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
  28. 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
  29. 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
  30. 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
  31. 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
  32. 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
  33. 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.
  34. 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.
  35. 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.
  36. 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
  37. 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
  38. 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
  39. 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.
Magazine article
  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.
Online resource
  1. Lemos, A.; Pedro T Monteiro; Inês Lynce. ITC-2019: A MaxSAT approach to solve University Timetabling problems. 2020. https://www.itc2019.org/home.
Preprint
  1. Henriques, Rui; Inês Lynce; Vasco Manquinho. "On When and How to use SAT to Mine Frequent Itemsets". 2012. https://doi.org/10.48550/arXiv.1207.6253.
    10.48550/arXiv.1207.6253
Report
  1. Ruben Martins; Saurabh Joshi; Inês Lynce; Manquinho, Vasco. 2019. Reflections on "Incremental Cardinality Constraints for MaxSAT". http://arxiv.org/abs/1910.04643.
  2. Lemos, A.; Helena Galhardas; Inês Lynce; Pedro T Monteiro. 2018. Academic Data Profiling and Cleaning: A University Timetable Case Study.

Other

Other output
  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
Activities

Supervision

Thesis Title
Role 		Degree Subject (Type)
Institution / Organization
2021 - 2021 TBD
Supervisor
 Engenharia Informática e de Computadores (PhD)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2021 - 2021 Model Revision of Boolean Logical Models of Biological Regulatory Networks
Co-supervisor
 Engenharia Informática e de Computadores (PhD)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2016 - 2021 Solving Scheduling Problems under Disruptions
Supervisor
 Doutoramento em Engenharia Informática e de Computadores (PhD)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2020 - 2020 FOREST: An interactive multi-tree synthesizer for regular expressions
Supervisor
 Engenharia Informática e de Computadores (Master)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2019 - 2019 Program Synthesis from Noisy Tabular Data
Co-supervisor
 Engenharia Informática e de Computadores (Master)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2019 - 2019 DeepData: Machine Learning in the Marine Ecosystems
Co-supervisor
 Engenharia Informática e de Computadores (Master)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2015 - 2019 Constraint-Based Multi-Objective Combinatorial Optimization
Co-supervisor
 Doutoramento em Engenharia Informática e de Computadores (PhD)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2016 - 2016 Inference in Biological Regulatory Networks
Supervisor
 Engenharia Informática e de Computadores (Master)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2009 - 2013 Parallel Search for Maximum Satisfiability
Supervisor
 Doutoramento em Engenharia Informática e de Computadores
Universidade de Lisboa Instituto Superior Técnico, Portugal
2011 - 2011 Classical Checkers
Supervisor
 Engenharia Informática e de Computadores (Master)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2011 - 2011 TagSNP Selection Using Maximum Satisfiability
Supervisor
 Matemática e Aplicações (Master)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2006 - 2010 Satisfiability-based Algorithms for Haplotype Inference
Supervisor
 Doutoramento em Engenharia Informática e de Computadores (PhD)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2004 - 2010 Resolution of Dependencies in the Installation of Software Components
Co-supervisor
Universidade de Lisboa Instituto Superior Técnico, Portugal
2009 - 2009 Parallel Search for Maximum Satisfiability
Supervisor
 Engenharia Informática e de Computadores (PhD)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2006 - 2006 Satisfiability-based Algorithms for Haplotype Inference
Supervisor
 Engenharia Informática e de Computadores (PhD)
Distinctions

Award

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

Other distinction

2021 Artificial Intelligence Journal (AIJ) Member of the Editorial Board (ongoing)
2017 H2020 Submitted projects reviewer
European Commission, Belgium
2017 H2020 Ongoing projects reviewer
European Commission, Belgium
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