Inês Lynce

Publications

1.2K

Citations

H-Index

2001

Active since

Affiliations

Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento(Current)

University of Lisbon

University College Dublin

University of Southampton

University College Cork

Inês Lynce is an author at Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento specializing in engineering, computer science, and automated reasoning.

ORCID

Top concepts

EngineeringComputer ScienceSatisfiabilityAutomated ReasoningComputational ComplexityFormal MethodsCombinatorial OptimizationData ScienceMathematical ProgrammingVerification

Publications per year

2001–2022

Publications

On Computing Minimum Unsatisfiable Cores

Inês Lynce, João Marques‐Silva · ePrints Soton (University of Southampton) · 2004 · 113 citations · Full text

Sudoku as a SAT Problem.

Inês Lynce, Joël Ouaknine · 2006 · 90 citations

Towards efficient MUS extraction

Anton Belov, Inês Lynce, João Marques‐Silva · AI Communications · 2012 · 83 citations

Intelligent Information Processing, Engineering, Verification +23

Efficient haplotype inference with boolean satisfiability

Inês Lynce, João Marques‐Silva · ePrints Soton (University of Southampton) · 2006 · 72 citations · Full text

Boolean lexicographic optimization: algorithms & applications

João Marques‐Silva, Josep Argelich, Ana Graça et al. · Annals of Mathematics and Artificial Intelligence · 2011 · 68 citations

Mathematical Programming, Engineering, Boolean Function +7

Rows per page

1–5 of 39