Ines Lynce

Citado por

	Total	Desde 2020
Citas	4858	1614
Índice h	35	17
Índice i10	88	37

360

180

270

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

Acceso público

Ver todo

33 artículos

4 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Joao Marques-SilvaResearch Professor, ICREA, University of LleidaDirección de correo verificada de icrea.cat
Vasco ManquinhoINESC-ID, Instituto Superior Técnico - Universidade de LisboaDirección de correo verificada de inesc-id.pt
Ruben MartinsCarnegie Mellon UniversityDirección de correo verificada de cs.cmu.edu
Josep ArgelichUniversitat de LleidaDirección de correo verificada de udl.cat
Pedro T. MonteiroINESC-ID / IST - Universidade de LisboaDirección de correo verificada de tecnico.ulisboa.pt
Miguel Terra-NevesResearch Scientist, OutSystemsDirección de correo verificada de outsystems.com
Arlindo L OliveiraDistinguished Professor, Instituto Superior Técnico / INESC-IDDirección de correo verificada de tecnico.ulisboa.pt
Mikoláš JanotaCTU PragueDirección de correo verificada de cvut.cz
Alexandre LemosOutSystems, Instituto superior TécnicoDirección de correo verificada de outsystems.com
Filipe GouveiaDepartment of Computer Science, University of OxfordDirección de correo verificada de cs.ox.ac.uk
Anton BelovSynopsys Inc.Dirección de correo verificada de belov-mcdowell.com
Saurabh JoshiSupraOraclesDirección de correo verificada de cse.iith.ac.in
Steven PrestwichLecturer in Computer Science, University College Cork, IrelandDirección de correo verificada de cs.ucc.ie
Sharad MalikProfessor of Electrical and Computer Engineering, Princeton UniversityDirección de correo verificada de princeton.edu
Daniel RamosCarnegie Mellon University, University of LisbonDirección de correo verificada de cmu.edu
Karem A SakallahUniversity of MichiganDirección de correo verificada de umich.edu
Daniel Le BerreCRIL-CNRS Université d'ArtoisDirección de correo verificada de cril.fr
Ian GentProfessor of Computer Science, St Andrews UniversityDirección de correo verificada de st-andrews.ac.uk
Claire Le GouesCarnegie Mellon UniversityDirección de correo verificada de cs.cmu.edu
Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusDirección de correo verificada de mpi-sws.org

Seguir

Ines Lynce

INESC-ID, Instituto Superior Técnico (IST), Universidade de Lisboa

Dirección de correo verificada de tecnico.ulisboa.pt - Página principal

Constraint Programming Automated Reasoning Artificial Intelligence


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
Conflict-driven clause learning SAT solvers J Marques-Silva, I Lynce, S Malik Handbook of satisfiability, 133-182, 2021	704	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
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
Algorithms for computing backbones of propositional formulae M Janota, I Lynce, J Marques-Silva Ai Communications 28 (2), 161-177, 2015	77	2015
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

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores