Inês Lynce

ORCID

Publication Activity (10 Years)

Years Active: 2001-2024
Publications (10 Years): 44

Top Venues

CoRR

IJCAI

SAT

Publications

Alexandre Lemos, Filipe Gouveia, Pedro T. Monteiro, Inês Lynce
Iterative Train Scheduling under Disruption with Maximum Satisfiability. J. Artif. Intell. Res. 79 (2024)
Daniel Ramos, Inês Lynce, Vasco M. Manquinho, Ruben Martins, Claire Le Goues
BatFix: Repairing language model-based transpilation. ACM Trans. Softw. Eng. Methodol. 33 (6) (2024)
João Cortes, Inês Lynce, Vasco M. Manquinho
Slide&Drill, a New Approach for Multi-Objective Combinatorial Optimization. CP (2024)
Daniel Ramos, Hailie Mitchell, Inês Lynce, Vasco M. Manquinho, Ruben Martins, Claire Le Goues
MELT: Mining Effective Lightweight Transformations from Pull Requests. ASE (2023)
Daniel Ramos, Hailie Mitchell, Inês Lynce, Vasco M. Manquinho, Ruben Martins, Claire Le Goues
MELT: Mining Effective Lightweight Transformations from Pull Requests. CoRR (2023)
João Cortes, Inês Lynce, Vasco M. Manquinho
New Core-Guided and Hitting Set Algorithms for Multi-Objective Combinatorial Optimization. TACAS (2) (2023)
Marijn J. H. Heule, Inês Lynce, Stefan Szeider, André Schidler
SAT Encodings and Beyond (Dagstuhl Seminar 23261). Dagstuhl Reports 13 (6) (2023)
Andreia P. Guerreiro, João Cortes, Daniel Vanderpooten, Cristina Bazgan, Inês Lynce, Vasco M. Manquinho, José Rui Figueira
Exact and approximate determination of the Pareto front using Minimal Correction Subsets. Comput. Oper. Res. 153 (2023)
Alexandre Lemos, Pedro T. Monteiro, Inês Lynce
Introducing UniCorT: an iterative university course timetabling tool with MaxSAT. J. Sched. 25 (4) (2022)
João Cortes, Inês Lynce, Vasco M. Manquinho
New Core-Guided and Hitting Set Algorithms for Multi-Objective Combinatorial Optimization. CoRR (2022)
Leonor Silva, Magda Resende, Helena Galhardas, Vasco M. Manquinho, Inês Lynce
DeepData: Machine learning in the marine ecosystems. Expert Syst. Appl. 206 (2022)
Andreia P. Guerreiro, João Cortes, Daniel Vanderpooten, Cristina Bazgan, Inês Lynce, Vasco M. Manquinho, José Rui Figueira
Exact and approximate determination of the Pareto set using minimal correction subsets. CoRR (2022)
Ansong Ni, Daniel Ramos, Aidan Z. H. Yang, Inês Lynce, Vasco M. Manquinho, Ruben Martins, Claire Le Goues
SOAR: A Synthesis Approach for Data Science API Refactoring. CoRR (2021)
Alexandre Lemos, Pedro T. Monteiro, Inês Lynce
Disruptions in timetables: a case study at Universidade de Lisboa. J. Sched. 24 (1) (2021)
Margarida Ferreira, Miguel Terra-Neves, Miguel Ventura, Inês Lynce, Ruben Martins
FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions. TACAS (1) (2021)
Ansong Ni, Daniel Ramos, Aidan Z. H. Yang, Inês Lynce, Vasco M. Manquinho, Ruben Martins, Claire Le Goues
Replication of SOAR: A Synthesis Approach for Data Science API Refactoring. ICSE (Companion Volume) (2021)
Ansong Ni, Daniel Ramos, Aidan Z. H. Yang, Inês Lynce, Vasco M. Manquinho, Ruben Martins, Claire Le Goues
SOAR: A Synthesis Approach for Data Science API Refactoring. ICSE (2021)
Margarida Ferreira, Akshay Narayan, Inês Lynce, Ruben Martins, Justine Sherry
Counterfeiting Congestion Control Algorithms. HotNets (2021)
Alexandre Lemos, Pedro T. Monteiro, Inês Lynce
Minimal Perturbation in University Timetabling with Maximum Satisfiability. CPAIOR (2020)
Filipe Gouveia, Inês Lynce, Pedro T. Monteiro
ModRev - Model Revision Tool for Boolean Logical Models of Biological Regulatory Networks. CMSB (2020)
Filipe Gouveia, Inês Lynce, Pedro T. Monteiro
Revision of Boolean Models of Regulatory Networks Using Stable State Observations. J. Comput. Biol. 27 (2) (2020)
Margarida Ferreira, Miguel Terra-Neves, Miguel Ventura, Inês Lynce, Ruben Martins
FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions. CoRR (2020)
Daniel Ramos, Jorge Pereira, Inês Lynce, Vasco M. Manquinho, Ruben Martins
UNCHARTIT: An Interactive Framework for Program Recovery from Charts. ASE (2020)
Ruben Martins, Saurabh Joshi, Vasco M. Manquinho, Inês Lynce
Reflections on "Incremental Cardinality Constraints for MaxSAT". CoRR (2019)
Alexandre Lemos, Inês Lynce, Pedro T. Monteiro
Repairing Boolean logical models from time-series data using Answer Set Programming. Algorithms Mol. Biol. 14 (1) (2019)
Miguel Terra-Neves, Inês Lynce, Vasco M. Manquinho
Virtual machine consolidation using constraint-based multi-objective optimization. J. Heuristics 25 (3) (2019)
Miguel Terra-Neves, Inês Lynce, Vasco M. Manquinho
Integrating Pseudo-Boolean Constraint Reasoning in Multi-Objective Evolutionary Algorithms. IJCAI (2019)
Andreia P. Guerreiro, Miguel Terra-Neves, Inês Lynce, José Rui Figueira, Vasco M. Manquinho
Constraint-Based Techniques in Stochastic Local Search MaxSAT Solving. CP (2019)
Miguel Terra-Neves, Nuno Machado, Inês Lynce, Vasco M. Manquinho
Concurrency Debugging with MaxSMT. AAAI (2019)
Filipe Gouveia, Inês Lynce, Pedro T. Monteiro
Model Revision of Boolean Regulatory Networks at Stable State. ISBRA (2019)
Miguel Terra-Neves, Inês Lynce, Vasco M. Manquinho
Stratification for Constraint-Based Multi-Objective Combinatorial Optimization. IJCAI (2018)
Pedro L. Varela, Inês Lynce, Vasco M. Manquinho, Claudine Chaouiya, Pedro T. Monteiro
Stable States of Boolean Regulatory Networks Composed Over Hexagonal Grids. SASB 335 (2018)
Miguel Terra-Neves, Inês Lynce, Vasco M. Manquinho
Enhancing Constraint-Based Multi-Objective Combinatorial Optimization. AAAI (2018)
Miguel Terra-Neves, Inês Lynce, Vasco M. Manquinho
Multi-Objective Optimization Through Pareto Minimal Correction Subsets. IJCAI (2018)
Filipe Gouveia, Inês Lynce, Pedro T. Monteiro
Model Revision of Logical Regulatory Networks Using Logic-Based Tools. ICLP (Technical Communications) (2018)
Filipe Gouveia, Pedro T. Monteiro, Vasco M. Manquinho, Inês Lynce
Logic-Based Encodings for Ricochet Robots. EPIA (2017)
Miguel Terra-Neves, Inês Lynce, Vasco M. Manquinho
Introducing Pareto Minimal Correction Subsets. SAT (2017)
Miguel Terra-Neves, Inês Lynce, Vasco M. Manquinho
Non-Portfolio Approaches for Distributed Maximum Satisfiability. ICTAI (2016)
Miguel Neves, Inês Lynce, Vasco M. Manquinho
DistMS: A Non-Portfolio Distributed Solver for Maximum Satisfiability. CoRR (2015)
Miguel Neves, Ruben Martins, Mikolás Janota, Inês Lynce, Vasco M. Manquinho
Exploiting Resolution-Based Representations for MaxSAT Solving. SAT (2015)
Miguel Neves, Ruben Martins, Mikolás Janota, Inês Lynce, Vasco M. Manquinho
Exploiting Resolution-based Representations for MaxSAT Solving. CoRR (2015)
Ruben Martins, Vasco M. Manquinho, Inês Lynce
Improving linear search algorithms with model-based approaches for MaxSAT solving. J. Exp. Theor. Artif. Intell. 27 (5) (2015)
Ruben Martins, Vasco M. Manquinho, Inês Lynce
Deterministic Parallel MaxSAT Solving. Int. J. Artif. Intell. Tools 24 (3) (2015)
Mikolás Janota, Inês Lynce, João Marques-Silva
Algorithms for computing backbones of propositional formulae. AI Commun. 28 (2) (2015)
Rui Camacho, Paulo Carreira, Inês Lynce, Sílvia Resendes
An ontology-based approach to conflict resolution in Home and Building Automation Systems. Expert Syst. Appl. 41 (14) (2014)
Ruben Martins, Saurabh Joshi, Vasco M. Manquinho, Inês Lynce
Incremental Cardinality Constraints for MaxSAT. CoRR (2014)
João Marques-Silva, Alexey Ignatiev, António Morgado, Vasco M. Manquinho, Inês Lynce
Efficient Autarkies. ECAI (2014)
Ruben Martins, Saurabh Joshi, Vasco M. Manquinho, Inês Lynce
On Using Incremental Encodings in Unsatisfiability-based MaxSAT Solving. J. Satisf. Boolean Model. Comput. 9 (1) (2014)
Alexey Ignatiev, António Morgado, Vasco M. Manquinho, Inês Lynce, João Marques-Silva
Progression in Maximum Satisfiability. ECAI (2014)
Ruben Martins, Vasco M. Manquinho, Inês Lynce
Open-WBO: A Modular MaxSAT Solver, . SAT (2014)
Ruben Martins, Saurabh Joshi, Vasco M. Manquinho, Inês Lynce
Incremental Cardinality Constraints for MaxSAT. CP (2014)
Anton Belov, Mikolás Janota, Inês Lynce, João Marques-Silva
Algorithms for computing minimal equivalent subformulas. Artif. Intell. 216 (2014)
Miguel Miranda, Inês Lynce, Vasco M. Manquinho
Inferring phylogenetic trees using pseudo-Boolean optimization. AI Commun. 27 (3) (2014)
Ruben Martins, Vasco M. Manquinho, Inês Lynce
Community-Based Partitioning for MaxSAT Solving. SAT (2013)
Rui Henriques, Inês Lynce, Vasco M. Manquinho
On When and How to use SAT to Mine Frequent Itemsets CoRR (2012)
Ruben Martins, Vasco M. Manquinho, Inês Lynce
Clause Sharing in Parallel MaxSAT. LION (2012)
Anton Belov, Mikolás Janota, Inês Lynce, João Marques-Silva
On Computing Minimal Equivalent Subformulas. CP (2012)
Ruben Martins, Vasco M. Manquinho, Inês Lynce
An overview of parallel SAT solving. Constraints An Int. J. 17 (3) (2012)
Mikolás Janota, Inês Lynce, Vasco M. Manquinho, João Marques-Silva
PackUp: Tools for Package Upgradability Solving. J. Satisf. Boolean Model. Comput. 8 (1/2) (2012)
Anton Belov, Inês Lynce, João Marques-Silva
Towards efficient MUS extraction. AI Commun. 25 (2) (2012)
Ruben Martins, Vasco M. Manquinho, Inês Lynce
Parallel search for maximum satisfiability. AI Commun. 25 (2) (2012)
Inês Lynce
Satisfiability: where Theory meets Practice (Invited Talk). CSL (2012)
Ruben Martins, Vasco M. Manquinho, Inês Lynce
On Partitioning for Maximum Satisfiability. ECAI (2012)
Josep Argelich, Alba Cabiscol, Inês Lynce, Felip Manyà
Efficient Encodings from CSP into SAT, and from MaxCSP into MaxSAT. J. Multiple Valued Log. Soft Comput. 19 (1-3) (2012)
João Guerra, Inês Lynce
Reasoning over Biological Networks Using Maximum Satisfiability. CP (2012)
Ana Graça, João Marques-Silva, Inês Lynce, Arlindo L. Oliveira
Haplotype inference with pseudo-Boolean optimization. Ann. Oper. Res. 184 (1) (2011)
João P. Marques Silva, Inês Lynce
On Improving MUS Extraction Algorithms. SAT (2011)
João Marques-Silva, Josep Argelich, Ana Graça, Inês Lynce
Boolean lexicographic optimization: algorithms & applications. Ann. Math. Artif. Intell. 62 (3-4) (2011)
Ruben Martins, Vasco M. Manquinho, Inês Lynce
Exploiting Cardinality Encodings in Parallel Maximum Satisfiability. ICTAI (2011)
Inês Lynce, João Marques-Silva
Restoring CSP Satisfiability with MaxSAT. Fundam. Informaticae 107 (2-3) (2011)
João Marques-Silva, Josep Argelich, Ana Graça, Inês Lynce
Boolean Lexicographic Optimization. RCRA@CPAIOR (2010)
Ana Graça, Inês Lynce, João Marques-Silva, Arlindo L. Oliveira
Haplotype Inference by Pure Parsimony: A Survey. J. Comput. Biol. 17 (8) (2010)
Claudia Peschiera, Luca Pulina, Armando Tacchella, Uwe Bubeck, Oliver Kullmann, Inês Lynce
The Seventh QBF Solvers Evaluation (QBFEVAL'10). SAT (2010)
João Delgado, Inês Lynce, Vasco M. Manquinho
Computing the Summed Adjacency Disruption Number between Two Genomes with Duplicate Genes. J. Comput. Biol. 17 (9) (2010)
João Marques-Silva, Mikolás Janota, Inês Lynce
On Computing Backbones of Propositional Theories. ECAI (2010)
Ana Graça, Inês Lynce, João Marques-Silva, Arlindo L. Oliveira
Efficient and Accurate Haplotype Inference by Combining Parsimony and Pedigree Information. ANB (2010)
Josep Argelich, Alba Cabiscol, Inês Lynce, Felip Manyà
New Insights into Encodings from MaxCSP into Partial MaxSAT. ISMVL (2010)
Ruben Martins, Vasco M. Manquinho, Inês Lynce
Improving Search Space Splitting for Parallel SAT Solving. ICTAI (1) (2010)
Vasco M. Manquinho, Ruben Martins, Inês Lynce
Improving Unsatisfiability-Based Algorithms for Boolean Optimization. SAT (2010)
Paulo Trezentos, Inês Lynce, Arlindo L. Oliveira
Apt-pbo: solving the software dependency problem using pseudo-boolean optimization. ASE (2010)
Josep Argelich, Daniel Le Berre, Inês Lynce, João P. Marques Silva, Pascal Rapicault
Solving Linux Upgradeability Problems Using Boolean Optimization LoCoCo (2010)
João Delgado, Inês Lynce, Vasco M. Manquinho
Computing the Summed Adjacency Disruption Number between Two Genomes with Duplicate Genes Using Pseudo-Boolean Optimization. RECOMB-CG (2009)
Inês Lynce, João Marques-Silva
Restoring CSP Satisfiability with MaxSAT. RCRA@AI*IA (2009)
Josep Argelich, Inês Lynce, João P. Marques Silva
On Solving Boolean Multilevel Optimization Problems CoRR (2009)
David Pereira, Inês Lynce, Steven D. Prestwich
On Improving Local Search for Unsatisfiability LSCS (2009)
Josep Argelich, Alba Cabiscol, Inês Lynce, Felip Manyà
Regular Encodings from Max-CSP into Partial Max-SAT. ISMVL (2009)
Josep Argelich, Inês Lynce, João P. Marques Silva
On Solving Boolean Multilevel Optimization Problemse. IJCAI (2009)
Josep Argelich, Alba Cabiscol, Inês Lynce, Felip Manyà
Sequential Encodings from Max-CSP into Partial Max-SAT. SAT (2009)
Mark H. Liffiton, Maher N. Mneimneh, Inês Lynce, Zaher S. Andraus, João Marques-Silva, Karem A. Sakallah
A branch and bound algorithm for extracting smallest minimal unsatisfiable subformulas. Constraints An Int. J. 14 (4) (2009)
Josep Argelich, Inês Lynce
CNF Instances from the Software Package Installation Problem. RCRA (2008)
Inês Lynce, Ana Graça, João Marques-Silva, Arlindo L. Oliveira
Haplotype Inference with Boolean Constraint Solving: An Overview. ICTAI (1) (2008)
Ana Graça, João Marques-Silva, Inês Lynce, Arlindo L. Oliveira
Efficient Haplotype Inference with Combined CP and OR Techniques. CPAIOR (2008)
Inês Lynce, João Marques-Silva
Haplotype Inference with Boolean Satisfiability. Int. J. Artif. Intell. Tools 17 (2) (2008)
João Marques-Silva, Inês Lynce, Vasco M. Manquinho
Symmetry Breaking for Maximum Satisfiability. LPAR (2008)
Inês Lynce, João Marques-Silva, Steve Prestwich
Boosting Haplotype Inference with Local Search. Constraints An Int. J. 13 (1-2) (2008)
Josep Argelich, Alba Cabiscol, Inês Lynce, Felip Manyà
Encoding Max-CSP into Partial Max-SAT. ISMVL (2008)
João Marques-Silva, Inês Lynce, Vasco M. Manquinho
Symmetry Breaking for Maximum Satisfiability CoRR (2008)
Josep Argelich, Alba Cabiscol, Inês Lynce, Felip Manyà
Modelling Max-CSP as Partial Max-SAT. SAT (2008)
Ian P. Gent, Christopher Jefferson, Tom Kelsey, Inês Lynce, Ian Miguel, Peter Nightingale, Barbara M. Smith, Armagan Tarim
Search in the patience game 'Black Hole'. AI Commun. 20 (3) (2007)
Inês Lynce, João P. Marques Silva
Breaking Symmetries in SAT Matrix Models. SAT (2007)

Inês Lynce.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Inês Lynce