Ines Lynce

Cited by

	All	Since 2020
Citations	4863	1618
h-index	35	17
i10-index	88	37

360

180

270

200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202519 26 34 46 42 66 114 161 172 139 220 227 304 295 268 257 261 270 264 264 356 301 310 315 69

Public access

View all

33 articles

4 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
Filipe GouveiaDepartment of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
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
Sharad MalikProfessor of Electrical and Computer Engineering, Princeton UniversityVerified email at princeton.edu
Daniel RamosCarnegie Mellon University, University of LisbonVerified email at cmu.edu
Karem A SakallahUniversity of MichiganVerified email at umich.edu
Daniel Le BerreCRIL-CNRS Université d'ArtoisVerified email at cril.fr
Ian GentProfessor of Computer Science, St Andrews UniversityVerified email at st-andrews.ac.uk
Claire Le GouesCarnegie Mellon UniversityVerified email at cs.cmu.edu
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	705	2021
Open-WBO: A Modular MaxSAT Solver^, R Martins, V Manquinho, I Lynce International Conference on Theory and Applications of Satisfiability …, 2014	281	2014
Sudoku as a SAT Problem. I Lynce, J Ouaknine AI&M, 2006	241	2006
On computing minimum unsatisfiable cores I Lynce, JP Marques-Silva	194	2004
Towards robust CNF encodings of cardinality constraints J Marques-Silva, I Lynce Principles and Practice of Constraint Programming–CP 2007: 13th …, 2007	157	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	123	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	119	2011
Towards efficient MUS extraction A Belov, I Lynce, J Marques-Silva AI Communications 25 (2), 97-116, 2012	117	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	94	2011
An overview of parallel SAT solving R Martins, V Manquinho, I Lynce Constraints 17, 304-347, 2012	93	2012
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
Algorithms for computing backbones of propositional formulae M Janota, I Lynce, J Marques-Silva Ai Communications 28 (2), 161-177, 2015	78	2015
Solving linux upgradeability problems using boolean optimization J Argelich, DL Berre, I Lynce, J Marques-Silva, P Rapicault arXiv preprint arXiv:1007.1021, 2010	78	2010
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	71	2005
Efficient data structures for backtrack search SAT solvers I Lynce, J Marques-Silva Annals of Mathematics and Artificial Intelligence 43, 137-152, 2005	68	2005
On computing backbones of propositional theories J Marques-Silva, M Janota, I Lynce ECAI 2010, 15-20, 2010	59	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	56	2006
On solving boolean multilevel optimization problems J Argelich, I Lynce, J Marques-Silva arXiv preprint arXiv:0904.0019, 2009	54	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