Ines Lynce - Google Scholar Citations

Cited by

	All	Since 2014
Citations	3034	1468
h-index	29	19
i10-index	72	37

300

150

225

200120022003200420052006200720082009201020112012201320142015201620172018201915 22 39 41 42 59 116 171 157 131 214 225 287 262 269 247 248 264 176

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
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
Saurabh JoshiIIT HyderabadVerified email at iith.ac.in
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
Pedro T. MonteiroAssistant Professor at Instituto Superior Técnico - Universidade de Lisboa / Researcher at INESC-IDVerified email at tecnico.ulisboa.pt
António MorgadoFaculade de Ciencias, Universidade de LisboaVerified email at fc.ul.pt

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	314	2009
Sudoku as a SAT Problem. I Lynce, J Ouaknine ISAIM, 2006	160	2006
On computing minimum unsatisfiable cores I Lynce, JP Marques-Silva	155	2004
Towards robust CNF encodings of cardinality constraints J Marques-Silva, I Lynce International Conference on Principles and Practice of Constraint …, 2007	117	2007
Open-WBO: A modular MaxSAT solver R Martins, V Manquinho, I Lynce International Conference on Theory and Applications of Satisfiability …, 2014	114	2014
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	85	2012
Probing-based preprocessing techniques for propositional satisfiability I Lynce, J Marques-Silva Proceedings. 15th IEEE International Conference on Tools with Artificial …, 2003	83	2003
On improving MUS extraction algorithms J Marques-Silva, I Lynce International Conference on Theory and Applications of Satisfiability …, 2011	68	2011
Incremental cardinality constraints for MaxSAT R Martins, S Joshi, V Manquinho, I Lynce International Conference on Principles and Practice of Constraint …, 2014	65	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	60	2006
An overview of parallel SAT solving R Martins, V Manquinho, I Lynce Constraints 17 (3), 304-347, 2012	58	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	57	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	55	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	55	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	51	2011
On Computing Backbones of Propositional Theories. J Marques-Silva, M Janota, I Lynce ECAI 215, 15-20, 2010	48	2010
Efficient haplotype inference with pseudo-Boolean optimization A Graça, J Marques-Silva, I Lynce, AL Oliveira International Conference on Algebraic Biology, 125-139, 2007	43	2007
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