Ines Lynce

Cited by

	All	Since 2015
Citations	3416	1514
h-index	30	19
i10-index	72	33

320

160

240

2001200220032004200520062007200820092010201120122013201420152016201720182019202015 23 37 43 42 60 115 168 166 133 220 232 305 278 256 255 253 272 253 221

Co-authors

Joao Marques-SilvaResearch Chair, ANITI, Université Fédérale Toulouse Midi-Pyrénées, FranceVerified email at acm.org
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 OliveiraProfessor of Computer Science and Engineering, 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. MonteiroInstituto Superior Técnico - Universidade de Lisboa / INESC-IDVerified email at tecnico.ulisboa.pt
Steven PrestwichLecturer in Computer Science, University College Cork, IrelandVerified email at cs.ucc.ie
Saurabh JoshiIIT HyderabadVerified email at 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
Daniel Le BerreCRIL-CNRS Université d'ArtoisVerified email at cril.fr
Alexandre LemosInstituto superior TécnicoVerified email at ist.utl.pt
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	379	2009
Sudoku as a SAT Problem. I Lynce, J Ouaknine ISAIM, 2006	175	2006
On computing minimum unsatisfiable cores I Lynce, JP Marques-Silva	161	2004
Open-WBO: A modular MaxSAT solver R Martins, V Manquinho, I Lynce International Conference on Theory and Applications of Satisfiability …, 2014	160	2014
Towards robust CNF encodings of cardinality constraints J Marques-Silva, I Lynce International Conference on Principles and Practice of Constraint …, 2007	126	2007
Efficient haplotype inference with boolean satisfiability I Lynce, J Marques-Silva National Conference on Artificial Intelligence (AAAI), 2006	103	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
Incremental cardinality constraints for MaxSAT R Martins, S Joshi, V Manquinho, I Lynce International Conference on Principles and Practice of Constraint …, 2014	75	2014
On improving MUS extraction algorithms J Marques-Silva, I Lynce International Conference on Theory and Applications of Satisfiability …, 2011	75	2011
SAT in bioinformatics: Making the case with haplotype inference I Lynce, J Marques-Silva International Conference on Theory and Applications of Satisfiability …, 2006	74	2006
An overview of parallel SAT solving R Martins, V Manquinho, I Lynce Constraints 17 (3), 304-347, 2012	67	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	65	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	65	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	63	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	57	2006
On Computing Backbones of Propositional Theories. J Marques-Silva, M Janota, I Lynce ECAI 215, 15-20, 2010	51	2010
Algorithms for computing backbones of propositional formulae M Janota, I Lynce, J Marques-Silva Ai Communications 28 (2), 161-177, 2015	45	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	44	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