Ines Lynce

Cited by

	All	Since 2019
Citations	4683	1711
h-index	33	18
i10-index	87	40

360

180

270

20012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202419 26 33 47 41 64 113 165 174 129 233 228 306 288 268 252 256 268 259 262 354 296 306 229

Public access

View all

30 articles

6 articles

available

not available

Based on funding mandates

Co-authors

Joao Marques-SilvaResearch Professor, ICREA, University of LleidaVerified email at icrea.cat
Vasco ManquinhoINESC-ID, Instituto Superior Técnico - Universidade de LisboaVerified email at inesc-id.pt
Ruben MartinsCarnegie Mellon UniversityVerified email at cs.cmu.edu
Josep ArgelichUniversitat de LleidaVerified email at udl.cat
Pedro T. MonteiroINESC-ID / IST - Universidade de LisboaVerified email at tecnico.ulisboa.pt
Miguel Terra-NevesResearch Scientist, OutSystemsVerified email at outsystems.com
Arlindo L OliveiraDistinguished Professor, Instituto Superior Técnico / INESC-IDVerified email at tecnico.ulisboa.pt
Mikoláš JanotaCTU PragueVerified email at cvut.cz
Alexandre LemosOutSystems, Instituto superior TécnicoVerified email at outsystems.com
Anton BelovSynopsys Inc.Verified email at belov-mcdowell.com
Saurabh JoshiSupraOraclesVerified email at cse.iith.ac.in
Steven PrestwichLecturer in Computer Science, University College Cork, IrelandVerified email at cs.ucc.ie
Filipe GouveiaDepartment of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
Sharad MalikProfessor of Electrical and Computer Engineering, Princeton UniversityVerified email at princeton.edu
Daniel RamosCarnegie Mellon University, University of LisbonVerified email at cmu.edu
Daniel Le BerreCRIL-CNRS Université d'ArtoisVerified email at cril.fr
Karem A SakallahUniversity of MichiganVerified email at umich.edu
Oliver KullmannSwansea UniversityVerified email at Swansea.ac.uk
Ian GentProfessor of Computer Science, St Andrews UniversityVerified email at st-andrews.ac.uk
Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusVerified email at mpi-sws.org

Ines Lynce

INESC-ID, Instituto Superior Técnico (IST), Universidade de Lisboa

Verified email at tecnico.ulisboa.pt - Homepage

Constraint Programming Automated Reasoning Artificial Intelligence


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Conflict-driven clause learning SAT solvers J Marques-Silva, I Lynce, S Malik Handbook of satisfiability, 133-182, 2021	665	2021
Open-WBO: A Modular MaxSAT Solver^, R Martins, V Manquinho, I Lynce Theory and Applications of Satisfiability Testing–SAT 2014: 17th …, 2014	263	2014
Sudoku as a SAT Problem. I Lynce, J Ouaknine AI&M, 2006	239	2006
On computing minimum unsatisfiable cores I Lynce, JP Marques-Silva	188	2004
Towards robust CNF encodings of cardinality constraints J Marques-Silva, I Lynce Principles and Practice of Constraint Programming–CP 2007: 13th …, 2007	150	2007
Efficient haplotype inference with Boolean satisfiability I Lynce, J Marques-Silva National conference on artificial intelligence (AAAI), 2006	125	2006
Incremental cardinality constraints for MaxSAT R Martins, S Joshi, V Manquinho, I Lynce Principles and Practice of Constraint Programming: 20th International …, 2014	120	2014
Boolean lexicographic optimization: algorithms & applications J Marques-Silva, J Argelich, A Graça, I Lynce Annals of Mathematics and Artificial Intelligence 62, 317-343, 2011	115	2011
Towards efficient MUS extraction A Belov, I Lynce, J Marques-Silva AI Communications 25 (2), 97-116, 2012	111	2012
Probing-based preprocessing techniques for propositional satisfiability I Lynce, J Marques-Silva Proceedings. 15th IEEE International Conference on Tools with Artificial …, 2003	106	2003
On improving MUS extraction algorithms J Marques-Silva, I Lynce International Conference on Theory and Applications of Satisfiability …, 2011	92	2011
SAT in bioinformatics: Making the case with haplotype inference I Lynce, J Marques-Silva International Conference on Theory and Applications of Satisfiability …, 2006	91	2006
An overview of parallel SAT solving R Martins, V Manquinho, I Lynce Constraints 17, 304-347, 2012	85	2012
Solving linux upgradeability problems using boolean optimization J Argelich, DL Berre, I Lynce, J Marques-Silva, P Rapicault arXiv preprint arXiv:1007.1021, 2010	79	2010
Algorithms for computing backbones of propositional formulae M Janota, I Lynce, J Marques-Silva Ai Communications 28 (2), 161-177, 2015	75	2015
A branch-and-bound algorithm for extracting smallest minimal unsatisfiable formulas M Mneimneh, I Lynce, Z Andraus, J Marques-Silva, K Sakallah Theory and Applications of Satisfiability Testing: 8th International …, 2005	69	2005
Efficient data structures for backtrack search SAT solvers I Lynce, J Marques-Silva Annals of Mathematics and Artificial Intelligence 43, 137-152, 2005	69	2005
On computing backbones of propositional theories J Marques-Silva, M Janota, I Lynce ECAI 2010, 15-20, 2010	60	2010
Categorisation of clauses in conjunctive normal forms: Minimally unsatisfiable sub-clause-sets and the lean kernel O Kullmann, I Lynce, J Marques-Silva Theory and Applications of Satisfiability Testing-SAT 2006: 9th …, 2006	57	2006
On solving boolean multilevel optimization problems J Argelich, I Lynce, J Marques-Silva arXiv preprint arXiv:0904.0019, 2009	51	2009

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors