Ines Lynce - Google Scholar Citations

Cited by

	All	Since 2015
Citations	3118	1278
h-index	29	18
i10-index	71	32

300

150

225

2001200220032004200520062007200820092010201120122013201420152016201720182019202015 22 38 41 42 59 115 166 156 131 218 229 291 273 256 251 244 272 237 16

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
Steven PrestwichLecturer in Computer Science, University College Cork, IrelandVerified email at cs.ucc.ie
Anton BelovSynopsys Inc.Verified email at belov-mcdowell.com
Saurabh JoshiIIT HyderabadVerified email at iith.ac.in
Karem SakallahVerified email at umich.edu
Daniel Le BerreCRIL-CNRS Université d'ArtoisVerified email at cril.fr
Sharad MalikProfessor of Electrical Engineering, Princeton UniversityVerified email at princeton.edu
Pedro T. MonteiroAssistant Professor at Instituto Superior Técnico - Universidade de Lisboa / Researcher at INESC-IDVerified email at tecnico.ulisboa.pt
Oliver KullmannSwansea UniversityVerified email at Swansea.ac.uk
Ian GentProfessor of Computer Science, St Andrews UniversityVerified email at st-andrews.ac.uk
Toby WalshProfessor, TU Berlin, UNSW, and Data61Verified email at cse.unsw.edu.au
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
Alexey IgnatievFaculty of Information Technology, Monash UniversityVerified email at monash.edu

Ines Lynce

INESC-ID / IST, Universidade de Lisboa

Verified email at tecnico.ulisboa.pt - Homepage

Satisfiability Constraint Programming Artificial Intelligence


Title	Cited by	Year
Conflict-driven clause learning SAT solvers J Marques-Silva, I Lynce, S Malik Handbook of satisfiability, 131-153, 2009	326	2009
Sudoku as a SAT Problem. I Lynce, J Ouaknine ISAIM, 2006	167	2006
On computing minimum unsatisfiable cores I Lynce, JP Marques-Silva	156	2004
Open-WBO: A modular MaxSAT solver R Martins, V Manquinho, I Lynce International Conference on Theory and Applications of Satisfiability …, 2014	123	2014
Towards robust CNF encodings of cardinality constraints J Marques-Silva, I Lynce International Conference on Principles and Practice of Constraint …, 2007	120	2007
Efficient haplotype inference with Boolean satisfiability I Lynce, J Marques-Silva National Conference on Artificial Intelligence (AAAI), 2006	98	2006
Towards efficient MUS extraction A Belov, I Lynce, J Marques-Silva AI Communications 25 (2), 97-116, 2012	86	2012
Probing-based preprocessing techniques for propositional satisfiability I Lynce, J Marques-Silva Proceedings. 15th IEEE International Conference on Tools with Artificial …, 2003	85	2003
On improving MUS extraction algorithms J Marques-Silva, I Lynce International Conference on Theory and Applications of Satisfiability …, 2011	70	2011
Incremental cardinality constraints for MaxSAT R Martins, S Joshi, V Manquinho, I Lynce International Conference on Principles and Practice of Constraint …, 2014	68	2014
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	63	2005
SAT in bioinformatics: Making the case with haplotype inference I Lynce, J Marques-Silva International Conference on Theory and Applications of Satisfiability …, 2006	61	2006
An overview of parallel SAT solving R Martins, V Manquinho, I Lynce Constraints 17 (3), 304-347, 2012	60	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	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 International Conference on Theory and Applications of Satisfiability …, 2006	56	2006
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	56	2005
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	55	2011
On Computing Backbones of Propositional Theories. J Marques-Silva, M Janota, I Lynce ECAI 215, 15-20, 2010	48	2010
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
Complete search restart strategies for satisfiability L Baptista, I Lynce, JP Marques-Silva	43*	2001

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