default search action
Inês Lynce
- > Home > Persons > Inês Lynce
Publications
- 2024
- [j36]Daniel Ramos, Inês Lynce, Vasco Manquinho, Ruben Martins, Claire Le Goues:
BatFix: Repairing language model-based transpilation. ACM Trans. Softw. Eng. Methodol. 33(6): 161 (2024) - [c77]João Cortes, Inês Lynce, Vasco Manquinho:
Slide&Drill, a New Approach for Multi-Objective Combinatorial Optimization. CP 2024: 8:1-8:17 - 2023
- [j35]Andreia P. Guerreiro, João Cortes, Daniel Vanderpooten, Cristina Bazgan, Inês Lynce, Vasco Manquinho, José Rui Figueira:
Exact and approximate determination of the Pareto front using Minimal Correction Subsets. Comput. Oper. Res. 153: 106153 (2023) - [c76]Daniel Ramos, Hailie Mitchell, Inês Lynce, Vasco Manquinho, Ruben Martins, Claire Le Goues:
MELT: Mining Effective Lightweight Transformations from Pull Requests. ASE 2023: 1516-1528 - [c75]João Cortes, Inês Lynce, Vasco Manquinho:
New Core-Guided and Hitting Set Algorithms for Multi-Objective Combinatorial Optimization. TACAS (2) 2023: 55-73 - [i13]Daniel Ramos, Hailie Mitchell, Inês Lynce, Vasco Manquinho, Ruben Martins, Claire Le Goues:
MELT: Mining Effective Lightweight Transformations from Pull Requests. CoRR abs/2308.14687 (2023) - 2022
- [j34]Leonor Silva, Magda Resende, Helena Galhardas, Vasco Manquinho, Inês Lynce:
DeepData: Machine learning in the marine ecosystems. Expert Syst. Appl. 206: 117841 (2022) - [i11]Andreia P. Guerreiro, João Cortes, Daniel Vanderpooten, Cristina Bazgan, Inês Lynce, Vasco Manquinho, José Rui Figueira:
Exact and approximate determination of the Pareto set using minimal correction subsets. CoRR abs/2204.06908 (2022) - [i10]João Cortes, Inês Lynce, Vasco Manquinho:
New Core-Guided and Hitting Set Algorithms for Multi-Objective Combinatorial Optimization. CoRR abs/2204.10856 (2022) - 2021
- [c73]Ansong Ni, Daniel Ramos, Aidan Z. H. Yang, Inês Lynce, Vasco Manquinho, Ruben Martins, Claire Le Goues:
SOAR: A Synthesis Approach for Data Science API Refactoring. ICSE 2021: 112-124 - [c72]Ansong Ni, Daniel Ramos, Aidan Z. H. Yang, Inês Lynce, Vasco Manquinho, Ruben Martins, Claire Le Goues:
Replication of SOAR: A Synthesis Approach for Data Science API Refactoring. ICSE (Companion Volume) 2021: 190-191 - [i9]Ansong Ni, Daniel Ramos, Aidan Z. H. Yang, Inês Lynce, Vasco Manquinho, Ruben Martins, Claire Le Goues:
SOAR: A Synthesis Approach for Data Science API Refactoring. CoRR abs/2102.06726 (2021) - 2020
- [c68]Daniel Ramos, Jorge Pereira, Inês Lynce, Vasco Manquinho, Ruben Martins:
UNCHARTIT: An Interactive Framework for Program Recovery from Charts. ASE 2020: 175-186 - 2019
- [j29]Miguel Terra-Neves, Inês Lynce, Vasco Manquinho:
Virtual machine consolidation using constraint-based multi-objective optimization. J. Heuristics 25(3): 339-375 (2019) - [c67]Miguel Terra-Neves, Nuno Machado, Inês Lynce, Vasco Manquinho:
Concurrency Debugging with MaxSMT. AAAI 2019: 1608-1616 - [c66]Andreia P. Guerreiro, Miguel Terra-Neves, Inês Lynce, José Rui Figueira, Vasco Manquinho:
Constraint-Based Techniques in Stochastic Local Search MaxSAT Solving. CP 2019: 232-250 - [c65]Miguel Terra-Neves, Inês Lynce, Vasco Manquinho:
Integrating Pseudo-Boolean Constraint Reasoning in Multi-Objective Evolutionary Algorithms. IJCAI 2019: 1184-1190 - [i7]Ruben Martins, Saurabh Joshi, Vasco Manquinho, Inês Lynce:
Reflections on "Incremental Cardinality Constraints for MaxSAT". CoRR abs/1910.04643 (2019) - 2018
- [c63]Miguel Terra-Neves, Inês Lynce, Vasco Manquinho:
Enhancing Constraint-Based Multi-Objective Combinatorial Optimization. AAAI 2018: 6649-6656 - [c61]Miguel Terra-Neves, Inês Lynce, Vasco Manquinho:
Stratification for Constraint-Based Multi-Objective Combinatorial Optimization. IJCAI 2018: 1376-1382 - [c60]Miguel Terra-Neves, Inês Lynce, Vasco Manquinho:
Multi-Objective Optimization Through Pareto Minimal Correction Subsets. IJCAI 2018: 5379-5383 - [c59]Pedro L. Varela, Inês Lynce, Vasco Manquinho, Claudine Chaouiya, Pedro T. Monteiro:
Stable States of Boolean Regulatory Networks Composed Over Hexagonal Grids. SASB 2018: 113-130 - [p5]Inês Lynce, Vasco Manquinho, Ruben Martins:
Parallel Maximum Satisfiability. Handbook of Parallel Constraint Reasoning 2018: 61-99 - 2017
- [c58]Filipe Gouveia, Pedro T. Monteiro, Vasco Manquinho, Inês Lynce:
Logic-Based Encodings for Ricochet Robots. EPIA 2017: 657-669 - [c57]Miguel Terra-Neves, Inês Lynce, Vasco Manquinho:
Introducing Pareto Minimal Correction Subsets. SAT 2017: 195-211 - 2016
- [c56]Miguel Terra-Neves, Inês Lynce, Vasco Manquinho:
Non-Portfolio Approaches for Distributed Maximum Satisfiability. ICTAI 2016: 436-443 - 2015
- [j27]Ruben Martins, Vasco Manquinho, Inês Lynce:
Deterministic Parallel MaxSAT Solving. Int. J. Artif. Intell. Tools 24(3): 1550005:1-1550005:25 (2015) - [j26]Ruben Martins, Vasco Manquinho, Inês Lynce:
Improving linear search algorithms with model-based approaches for MaxSAT solving. J. Exp. Theor. Artif. Intell. 27(5): 673-701 (2015) - [c55]Miguel Neves, Ruben Martins, Mikolás Janota, Inês Lynce, Vasco Manquinho:
Exploiting Resolution-Based Representations for MaxSAT Solving. SAT 2015: 272-286 - [i6]Miguel Neves, Ruben Martins, Mikolás Janota, Inês Lynce, Vasco Manquinho:
Exploiting Resolution-based Representations for MaxSAT Solving. CoRR abs/1505.02405 (2015) - [i5]Miguel Neves, Inês Lynce, Vasco Manquinho:
DistMS: A Non-Portfolio Distributed Solver for Maximum Satisfiability. CoRR abs/1505.02408 (2015) - 2014
- [j24]Miguel Miranda, Inês Lynce, Vasco Manquinho:
Inferring phylogenetic trees using pseudo-Boolean optimization. AI Commun. 27(3): 229-243 (2014) - [j22]Ruben Martins, Saurabh Joshi, Vasco Manquinho, Inês Lynce:
On Using Incremental Encodings in Unsatisfiability-based MaxSAT Solving. J. Satisf. Boolean Model. Comput. 9(1): 59-81 (2014) - [c54]Ruben Martins, Saurabh Joshi, Vasco Manquinho, Inês Lynce:
Incremental Cardinality Constraints for MaxSAT. CP 2014: 531-548 - [c53]Alexey Ignatiev, António Morgado, Vasco Manquinho, Inês Lynce, João Marques-Silva:
Progression in Maximum Satisfiability. ECAI 2014: 453-458 - [c52]João Marques-Silva, Alexey Ignatiev, António Morgado, Vasco Manquinho, Inês Lynce:
Efficient Autarkies. ECAI 2014: 603-608 - [c51]Ruben Martins, Vasco Manquinho, Inês Lynce:
Open-WBO: A Modular MaxSAT Solver, . SAT 2014: 438-445 - [i4]Ruben Martins, Saurabh Joshi, Vasco Manquinho, Inês Lynce:
Incremental Cardinality Constraints for MaxSAT. CoRR abs/1408.4628 (2014) - 2013
- [c50]Ruben Martins, Vasco Manquinho, Inês Lynce:
Community-Based Partitioning for MaxSAT Solving. SAT 2013: 182-191 - 2012
- [j21]Ruben Martins, Vasco Manquinho, Inês Lynce:
Parallel search for maximum satisfiability. AI Commun. 25(2): 75-95 (2012) - [j19]Ruben Martins, Vasco Manquinho, Inês Lynce:
An overview of parallel SAT solving. Constraints An Int. J. 17(3): 304-347 (2012) - [j18]Mikolás Janota, Inês Lynce, Vasco Manquinho, João Marques-Silva:
PackUp: Tools for Package Upgradability Solving. J. Satisf. Boolean Model. Comput. 8(1/2): 89-94 (2012) - [c46]Ruben Martins, Vasco Manquinho, Inês Lynce:
On Partitioning for Maximum Satisfiability. ECAI 2012: 913-914 - [c45]Ruben Martins, Vasco Manquinho, Inês Lynce:
Clause Sharing in Parallel MaxSAT. LION 2012: 455-460 - [i3]Rui Henriques, Inês Lynce, Vasco Manquinho:
On When and How to use SAT to Mine Frequent Itemsets. CoRR abs/1207.6253 (2012) - 2011
- [c44]Ruben Martins, Vasco Manquinho, Inês Lynce:
Exploiting Cardinality Encodings in Parallel Maximum Satisfiability. ICTAI 2011: 313-320 - 2010
- [j12]João Delgado, Inês Lynce, Vasco Manquinho:
Computing the Summed Adjacency Disruption Number between Two Genomes with Duplicate Genes. J. Comput. Biol. 17(9): 1243-1265 (2010) - [c39]Ruben Martins, Vasco Manquinho, Inês Lynce:
Improving Search Space Splitting for Parallel SAT Solving. ICTAI (1) 2010: 336-343 - [c36]Vasco Manquinho, Ruben Martins, Inês Lynce:
Improving Unsatisfiability-Based Algorithms for Boolean Optimization. SAT 2010: 181-193 - 2009
- [c30]João Delgado, Inês Lynce, Vasco Manquinho:
Computing the Summed Adjacency Disruption Number between Two Genomes with Duplicate Genes Using Pseudo-Boolean Optimization. RECOMB-CG 2009: 138-149 - 2008
- [c24]João Marques-Silva, Inês Lynce, Vasco Manquinho:
Symmetry Breaking for Maximum Satisfiability. LPAR 2008: 1-15 - [p1]Inês Lynce, Vasco Manquinho, João Marques-Silva:
Backtracking. Wiley Encyclopedia of Computer Science and Engineering 2008 - [i1]João Marques-Silva, Inês Lynce, Vasco Manquinho:
Symmetry Breaking for Maximum Satisfiability. CoRR abs/0804.0599 (2008)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-19 00:31 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint