Ines Lynce

Cited by

	All	Since 2016
Citations	3497	1326
h-index	30	18
i10-index	75	31

320

160

240

20012002200320042005200620072008200920102011201220132014201520162017201820192020202115 23 37 43 42 60 115 168 168 134 222 233 304 279 257 255 253 273 258 271 13

Co-authors

Joao Marques-SilvaCNRS Research Director, IRIT, CNRS & ANITIVerified email at irit.fr
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 diei.udl.cat
Arlindo L OliveiraDistinguished Professor, Instituto Superior Técnico / INESC-IDVerified email at tecnico.ulisboa.pt
Mikoláš JanotaAssistant Professor, Instituto Superior Técnico (IST) / INESC-ID, University of LisbonVerified email at sat.inesc-id.pt
Miguel Terra-NevesResearch Scientist, OutSystemsVerified email at outsystems.com
Pedro T. MonteiroINESC-ID / IST - Universidade de LisboaVerified email at tecnico.ulisboa.pt
Steven PrestwichLecturer in Computer Science, University College Cork, IrelandVerified email at cs.ucc.ie
Saurabh JoshiIIT HyderabadVerified email at cse.iith.ac.in
Anton BelovSynopsys Inc.Verified email at belov-mcdowell.com
Karem SakallahVerified email at umich.edu
Sharad MalikProfessor of Electrical Engineering, Princeton UniversityVerified email at princeton.edu
Alexandre LemosOutSystems, Instituto superior TécnicoVerified email at outsystems.com
Daniel Le BerreCRIL-CNRS Université d'ArtoisVerified email at cril.fr
Toby WalshProfessor, UNSW and Data61Verified email at cse.unsw.edu.au
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
Jose T. de SousaINESC-ID / Tecnico University of LisbonVerified email at inesc-id.pt

Ines Lynce

INESC-ID / 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, 131-153, 2009	395	2009
Sudoku as a SAT Problem. I Lynce, J Ouaknine ISAIM, 2006	177	2006
Open-WBO: A modular MaxSAT solver R Martins, V Manquinho, I Lynce International Conference on Theory and Applications of Satisfiability …, 2014	164	2014
On computing minimum unsatisfiable cores I Lynce, JP Marques-Silva	164	2004
Towards robust CNF encodings of cardinality constraints J Marques-Silva, I Lynce International Conference on Principles and Practice of Constraint …, 2007	130	2007
Efficient haplotype inference with boolean satisfiability I Lynce, J Marques-Silva National Conference on Artificial Intelligence (AAAI), 2006	104	2006
Probing-based preprocessing techniques for propositional satisfiability I Lynce, J Marques-Silva Proceedings. 15th IEEE International Conference on Tools with Artificial …, 2003	89	2003
Towards efficient MUS extraction A Belov, I Lynce, J Marques-Silva AI Communications 25 (2), 97-116, 2012	88	2012
On improving MUS extraction algorithms J Marques-Silva, I Lynce International Conference on Theory and Applications of Satisfiability …, 2011	77	2011
Incremental cardinality constraints for MaxSAT R Martins, S Joshi, V Manquinho, I Lynce International Conference on Principles and Practice of Constraint …, 2014	76	2014
SAT in bioinformatics: Making the case with haplotype inference I Lynce, J Marques-Silva International Conference on Theory and Applications of Satisfiability …, 2006	75	2006
An overview of parallel SAT solving R Martins, V Manquinho, I Lynce Constraints 17 (3), 304-347, 2012	70	2012
Boolean lexicographic optimization: algorithms & applications J Marques-Silva, J Argelich, A Graça, I Lynce Annals of Mathematics and Artificial Intelligence 62 (3-4), 317-343, 2011	68	2011
A branch-and-bound algorithm for extracting smallest minimal unsatisfiable formulas M Mneimneh, I Lynce, Z Andraus, J Marques-Silva, K Sakallah International Conference on Theory and Applications of Satisfiability …, 2005	66	2005
Solving Linux upgradeability problems using boolean optimization J Argelich, DL Berre, I Lynce, J Marques-Silva, P Rapicault arXiv preprint arXiv:1007.1021, 2010	64	2010
Efficient data structures for backtrack search SAT solvers I Lynce, J Marques-Silva Annals of Mathematics and Artificial Intelligence 43 (1-4), 137-152, 2005	59	2005
Categorisation of clauses in conjunctive normal forms: Minimally unsatisfiable sub-clause-sets and the lean kernel O Kullmann, I Lynce, J Marques-Silva International Conference on Theory and Applications of Satisfiability …, 2006	58	2006
On Computing Backbones of Propositional Theories. J Marques-Silva, M Janota, I Lynce ECAI 215, 15-20, 2010	53	2010
Algorithms for computing backbones of propositional formulae M Janota, I Lynce, J Marques-Silva Ai Communications 28 (2), 161-177, 2015	48	2015
The seventh QBF solvers evaluation (QBFEVAL’10) C Peschiera, L Pulina, A Tacchella, U Bubeck, O Kullmann, I Lynce International Conference on Theory and Applications of Satisfiability …, 2010	46	2010

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

Upload PDF

Follow this author

Cited by

Co-authors