Ines Lynce

Cituota

	Visi	Nuo 2019
Šaltiniai	4675	1706
h-rodyklė	33	18
i10-rodyklė	87	40

360

180

270

20012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202419 26 33 47 41 64 113 165 174 129 233 228 306 288 268 252 256 268 259 261 355 296 308 222

Viešas pasiekiamumas

Peržiūrėti viską

30 straipsnių

6 straipsniai

pasiekiami

nepasiekiami

Pagal finansavimo įpareigojimus

Bendraautoriai

Joao Marques-SilvaResearch Professor, ICREA, University of LleidaPatvirtintas el. paštas icrea.cat
Vasco ManquinhoINESC-ID, Instituto Superior Técnico - Universidade de LisboaPatvirtintas el. paštas inesc-id.pt
Ruben MartinsCarnegie Mellon UniversityPatvirtintas el. paštas cs.cmu.edu
Josep ArgelichUniversitat de LleidaPatvirtintas el. paštas udl.cat
Pedro T. MonteiroINESC-ID / IST - Universidade de LisboaPatvirtintas el. paštas tecnico.ulisboa.pt
Miguel Terra-NevesResearch Scientist, OutSystemsPatvirtintas el. paštas outsystems.com
Arlindo L OliveiraDistinguished Professor, Instituto Superior Técnico / INESC-IDPatvirtintas el. paštas tecnico.ulisboa.pt
Mikoláš JanotaCTU PraguePatvirtintas el. paštas cvut.cz
Alexandre LemosOutSystems, Instituto superior TécnicoPatvirtintas el. paštas outsystems.com
Anton BelovSynopsys Inc.Patvirtintas el. paštas belov-mcdowell.com
Saurabh JoshiSupraOraclesPatvirtintas el. paštas cse.iith.ac.in
Steven PrestwichLecturer in Computer Science, University College Cork, IrelandPatvirtintas el. paštas cs.ucc.ie
Filipe GouveiaDepartment of Computer Science, University of OxfordPatvirtintas el. paštas cs.ox.ac.uk
Sharad MalikProfessor of Electrical and Computer Engineering, Princeton UniversityPatvirtintas el. paštas princeton.edu
Daniel RamosCarnegie Mellon UniversityPatvirtintas el. paštas cmu.edu
Daniel Le BerreCRIL-CNRS Université d'ArtoisPatvirtintas el. paštas cril.fr
Karem A SakallahUniversity of MichiganPatvirtintas el. paštas umich.edu
Oliver KullmannSwansea UniversityPatvirtintas el. paštas Swansea.ac.uk
Ian GentProfessor of Computer Science, St Andrews UniversityPatvirtintas el. paštas st-andrews.ac.uk
Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusPatvirtintas el. paštas mpi-sws.org

Stebėti

Ines Lynce

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

Patvirtintas el. paštas tecnico.ulisboa.pt - Pagrindinis puslapis

Constraint Programming Automated Reasoning Artificial Intelligence


Pavadinimas Rūšiuoti pagal šaltinius Rūšiuoti pagal metus Rūšiuoti pagal pavadinimą	Cituota Cituota	Metai
Conflict-driven clause learning SAT solvers J Marques-Silva, I Lynce, S Malik Handbook of satisfiability, 133-182, 2021	662	2021
Open-WBO: A Modular MaxSAT Solver^, R Martins, V Manquinho, I Lynce Theory and Applications of Satisfiability Testing–SAT 2014: 17th …, 2014	262	2014
Sudoku as a SAT Problem. I Lynce, J Ouaknine AI&M, 2006	239	2006
On computing minimum unsatisfiable cores I Lynce, JP Marques-Silva	188	2004
Towards robust CNF encodings of cardinality constraints J Marques-Silva, I Lynce Principles and Practice of Constraint Programming–CP 2007: 13th …, 2007	150	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	120	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	115	2011
Towards efficient MUS extraction A Belov, I Lynce, J Marques-Silva AI Communications 25 (2), 97-116, 2012	111	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	92	2011
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
An overview of parallel SAT solving R Martins, V Manquinho, I Lynce Constraints 17, 304-347, 2012	85	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	79	2010
Algorithms for computing backbones of propositional formulae M Janota, I Lynce, J Marques-Silva Ai Communications 28 (2), 161-177, 2015	75	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	69	2005
Efficient data structures for backtrack search SAT solvers I Lynce, J Marques-Silva Annals of Mathematics and Artificial Intelligence 43, 137-152, 2005	69	2005
On computing backbones of propositional theories J Marques-Silva, M Janota, I Lynce ECAI 2010, 15-20, 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 Theory and Applications of Satisfiability Testing-SAT 2006: 9th …, 2006	57	2006
On solving boolean multilevel optimization problems J Argelich, I Lynce, J Marques-Silva arXiv preprint arXiv:0904.0019, 2009	51	2009

Sistema negali atlikti operacijos. Bandykite vėliau dar kartą.

Straipsniai 1–20

Šaltinių per metus

Dubliuoti šaltiniai

Sujungti šaltiniai

Pridėti bendraautoriusBendraautoriai

Stebėti

Cituota

Bendraautoriai