Lynce, Inês

9 publications

JAIR 2024 Iterative Train Scheduling Under Disruption with Maximum Satisfiability Alexandre Lemos, Filipe Gouveia, Pedro T. Monteiro, Inês Lynce

AAAI 2019 Concurrency Debugging with MaxSMT Miguel Terra-Neves, Nuno Machado, Inês Lynce, Vasco Manquinho

IJCAI 2019 Integrating Pseudo-Boolean Constraint Reasoning in Multi-Objective Evolutionary Algorithms Miguel Terra-Neves, Inês Lynce, Vasco Manquinho

AAAI 2018 Enhancing Constraint-Based Multi-Objective Combinatorial Optimization Miguel Terra-Neves, Inês Lynce, Vasco Manquinho

IJCAI 2018 Multi-Objective Optimization Through Pareto Minimal Correction Subsets Miguel Terra-Neves, Inês Lynce, Vasco Manquinho

IJCAI 2018 Stratification for Constraint-Based Multi-Objective Combinatorial Optimization Miguel Terra-Neves, Inês Lynce, Vasco Manquinho

IJCAI 2009 On Solving Boolean Multilevel Optimization Problemse Josep Argelich, Inês Lynce, João Marques-Silva

AAAI 2007 Refutation by Randomised General Resolution Steven D. Prestwich, Inês Lynce

AAAI 2006 Efficient Haplotype Inference with Boolean Satisfiability Inês Lynce, João Marques-Silva