| 2025 | TACAS | Proxy Attribute Discovery in Machine Learning Datasets via Inductive Logic Programming. | Rafael Gonalves, Filipe Gouveia, Ins Lynce, Jos Fragoso Santos |
| 2024 | CP | Slide&Drill, a New Approach for Multi-Objective Combinatorial Optimization. | Joo Cortes, Ins Lynce, Vasco Manquinho |
| 2024 | IMC | Reverse-Engineering Congestion Control Algorithm Behavior. | Margarida Ferreira, Ranysha Ware, Yash Kothari, Ins Lynce, Ruben Martins, Akshay Narayan, Justine Sherry |
| 2023 | TACAS | New Core-Guided and Hitting Set Algorithms for Multi-Objective Combinatorial Optimization. | Joo Cortes, Ins Lynce, Vasco Manquinho |
| 2021 | HOTNETS | Counterfeiting Congestion Control Algorithms. | Margarida Ferreira, Akshay Narayan, Ins Lynce, Ruben Martins, Justine Sherry |
| 2021 | ICSE | SOAR: A Synthesis Approach for Data Science API Refactoring. | Ansong Ni, Daniel Ramos, Aidan Z. H. Yang, Ins Lynce, Vasco Manquinho, Ruben Martins, Claire Le Goues |
| 2021 | ICSE | Replication of SOAR: A Synthesis Approach for Data Science API Refactoring. | Ansong Ni, Daniel Ramos, Aidan Z. H. Yang, Ins Lynce, Vasco Manquinho, Ruben Martins, Claire Le Goues |
| 2021 | TACAS | FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions. | Margarida Ferreira, Miguel Terra-Neves, Miguel Ventura, Ins Lynce, Ruben Martins |
| 2020 | CPAIOR | Minimal Perturbation in University Timetabling with Maximum Satisfiability. | Alexandre Lemos, Pedro T. Monteiro, Ins Lynce |
| 2019 | AAAI | Concurrency Debugging with MaxSMT. | Miguel Terra-Neves, Nuno Machado, Ins Lynce, Vasco Manquinho |
| 2019 | CP | Constraint-Based Techniques in Stochastic Local Search MaxSAT Solving. | Andreia P. Guerreiro, Miguel Terra-Neves, Ins Lynce, Jos Rui Figueira, Vasco Manquinho |
| 2019 | IJCAI | Integrating Pseudo-Boolean Constraint Reasoning in Multi-Objective Evolutionary Algorithms. | Miguel Terra-Neves, Ins Lynce, Vasco Manquinho |
| 2018 | AAAI | Enhancing Constraint-Based Multi-Objective Combinatorial Optimization. | Miguel Terra-Neves, Ins Lynce, Vasco Manquinho |
| 2018 | ICLP | Model Revision of Logical Regulatory Networks Using Logic-Based Tools. | Filipe Gouveia, Ins Lynce, Pedro T. Monteiro |
| 2018 | IJCAI | Stratification for Constraint-Based Multi-Objective Combinatorial Optimization. | Miguel Terra-Neves, Ins Lynce, Vasco Manquinho |
| 2018 | IJCAI | Multi-Objective Optimization Through Pareto Minimal Correction Subsets. | Miguel Terra-Neves, Ins Lynce, Vasco Manquinho |
| 2017 | EPIA | Logic-Based Encodings for Ricochet Robots. | Filipe Gouveia, Pedro T. Monteiro, Vasco Manquinho, Ins Lynce |
| 2017 | SAT | Introducing Pareto Minimal Correction Subsets. | Miguel Terra-Neves, Ins Lynce, Vasco Manquinho |
| 2016 | ICTAI | Non-Portfolio Approaches for Distributed Maximum Satisfiability. | Miguel Terra-Neves, Ins Lynce, Vasco Manquinho |
| 2015 | SAT | Exploiting Resolution-Based Representations for MaxSAT Solving. | Miguel Neves, Ruben Martins, Mikols Janota, Ins Lynce, Vasco Manquinho |
| 2014 | CP | Incremental Cardinality Constraints for MaxSAT. | Ruben Martins, Saurabh Joshi, Vasco Manquinho, Ins Lynce |
| 2014 | ECAI | Progression in Maximum Satisfiability. | Alexey Ignatiev, Antnio Morgado, Vasco Manquinho, Ins Lynce, Joo Marques-Silva |
| 2014 | ECAI | Efficient Autarkies. | Joo Marques-Silva, Alexey Ignatiev, Antnio Morgado, Vasco Manquinho, Ins Lynce |
| 2014 | SAT | Open-WBO: A Modular MaxSAT Solver, . | Ruben Martins, Vasco Manquinho, Ins Lynce |
| 2013 | SAT | Community-Based Partitioning for MaxSAT Solving. | Ruben Martins, Vasco Manquinho, Ins Lynce |
| 2012 | CP | On Computing Minimal Equivalent Subformulas. | Anton Belov, Mikols Janota, Ins Lynce, Joo Marques-Silva |
| 2012 | CP | Reasoning over Biological Networks Using Maximum Satisfiability. | Joo Guerra, Ins Lynce |
| 2012 | CSL | Satisfiability: where Theory meets Practice (Invited Talk). | Ins Lynce |
| 2012 | ECAI | On Partitioning for Maximum Satisfiability. | Ruben Martins, Vasco Manquinho, Ins Lynce |
| 2011 | ICTAI | Exploiting Cardinality Encodings in Parallel Maximum Satisfiability. | Ruben Martins, Vasco Manquinho, Ins Lynce |
| 2011 | SAT | On Improving MUS Extraction Algorithms. | Joo Marques-Silva, Ins Lynce |
| 2010 | CPAIOR | Boolean Lexicographic Optimization. | Joo Marques-Silva, Josep Argelich, Ana Graa, Ins Lynce |
| 2010 | ECAI | On Computing Backbones of Propositional Theories. | Joo Marques-Silva, Mikols Janota, Ins Lynce |
| 2010 | ICTAI | Improving Search Space Splitting for Parallel SAT Solving. | Ruben Martins, Vasco Manquinho, Ins Lynce |
| 2010 | SAT | Improving Unsatisfiability-Based Algorithms for Boolean Optimization. | Vasco Manquinho, Ruben Martins, Ins Lynce |
| 2010 | SAT | The Seventh QBF Solvers Evaluation (QBFEVAL'10). | Claudia Peschiera, Luca Pulina, Armando Tacchella, Uwe Bubeck, Oliver Kullmann, Ins Lynce |
| 2009 | IJCAI | On Solving Boolean Multilevel Optimization Problemse. | Josep Argelich, Ins Lynce, Joo Marques-Silva |
| 2009 | RECOMB | Computing the Summed Adjacency Disruption Number between Two Genomes with Duplicate Genes Using Pseudo-Boolean Optimization. | Joo Delgado, Ins Lynce, Vasco Manquinho |
| 2009 | SAT | Sequential Encodings from Max-CSP into Partial Max-SAT. | Josep Argelich, Alba Cabiscol, Ins Lynce, Felip Many |
| 2008 | CPAIOR | Efficient Haplotype Inference with Combined CP and OR Techniques. | Ana Graa, Joo Marques-Silva, Ins Lynce, Arlindo L. Oliveira |
| 2008 | ICTAI | Haplotype Inference with Boolean Constraint Solving: An Overview. | Ins Lynce, Ana Graa, Joo Marques-Silva, Arlindo L. Oliveira |
| 2008 | LPAR | Symmetry Breaking for Maximum Satisfiability. | Joo Marques-Silva, Ins Lynce, Vasco Manquinho |
| 2008 | SAT | Modelling Max-CSP as Partial Max-SAT. | Josep Argelich, Alba Cabiscol, Ins Lynce, Felip Many |
| 2007 | AAAI | Refutation by Randomised General Resolution. | Steven D. Prestwich, Ins Lynce |
| 2007 | CP | Towards Robust CNF Encodings of Cardinality Constraints. | Joo Marques-Silva, Ins Lynce |
| 2007 | EPIA | Efficient and Tight Upper Bounds for Haplotype Inference by Pure Parsimony Using Delayed Haplotype Selection. | Joo Marques-Silva, Ins Lynce, Ana Graa, Arlindo L. Oliveira |
| 2007 | SAT | Breaking Symmetries in SAT Matrix Models. | Ins Lynce, Joo Marques-Silva |
| 2006 | AAAI | Efficient Haplotype Inference with Boolean Satisfiability. | Ins Lynce, Joo Marques-Silva |
| 2006 | ISAIM | Sudoku as a SAT Problem. | Ins Lynce, Jol Ouaknine |
| 2006 | SAT | Categorisation of Clauses in Conjunctive Normal Forms: Minimally Unsatisfiable Sub-clause-sets and the Lean Kernel. | Oliver Kullmann, Ins Lynce, Joo Marques-Silva |
| 2006 | SAT | SAT in Bioinformatics: Making the Case with Haplotype Inference. | Ins Lynce, Joo Marques-Silva |
| 2006 | SAT | Local Search for Unsatisfiability. | Steven D. Prestwich, Ins Lynce |
| 2005 | SAT | A Branch-and-Bound Algorithm for Extracting Smallest Minimal Unsatisfiable Formulas. | Maher N. Mneimneh, Ins Lynce, Zaher S. Andraus, Joo Marques-Silva, Karem A. Sakallah |
| 2004 | ICTAI | Hidden Structure in Unsatisfiable Random 3-SAT: An Empirical Study. | Ins Lynce, Joo Marques-Silva |
| 2004 | SAT | On Computing Minimum Unsatisfiable Cores. | Ins Lynce, Joo Marques-Silva |
| 2003 | EPIA | Heuristic-Based Backtracking for Propositional Satisfiability. | Ateet Bhalla, Ins Lynce, Jos T. de Sousa, Joo Marques-Silva |
| 2003 | ICTAI | Probing-Based Preprocessing Techniques for Propositional Satisfiability. | Ins Lynce, Joo Marques-Silva |
| 2002 | CP | Tuning Randomization in Backtrack Search SAT Algorithms. | Ins Lynce, Joo Marques-Silva |
| 2002 | ECAI | Building State-of-the-Art SAT Solvers. | Ins Lynce, Joo Marques-Silva |
| 2001 | CP | Improving SAT Algorithms by Using Search Pruning Techniques. | Ins Lynce, Joo Marques-Silva |
| 2001 | EPIA | Towards Provably Complete Stochastic Search Algorithms for Satisfiability. | Ins Lynce, Lus Baptista, Joo Marques-Silva |