Ines Lynce 个人学术档案 - 学术资源搜索

引用次数

	总计	2019 年至今
引用	4637	1670
h 指数	32	18
i10 指数	87	39

360

180

270

20012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202419 26 33 47 41 64 113 165 174 129 233 228 306 287 268 249 256 268 259 261 355 297 308 184

开放获取的出版物数量

查看全部

28 篇文章

6 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

合著作者

Joao Marques-SilvaResearch Professor, ICREA, University of Lleida在 icrea.cat 的电子邮件经过验证
Vasco ManquinhoINESC-ID, Instituto Superior Técnico - Universidade de Lisboa在 inesc-id.pt 的电子邮件经过验证
Ruben MartinsCarnegie Mellon University在 cs.cmu.edu 的电子邮件经过验证
Josep ArgelichUniversitat de Lleida在 udl.cat 的电子邮件经过验证
Pedro T. MonteiroINESC-ID / IST - Universidade de Lisboa在 tecnico.ulisboa.pt 的电子邮件经过验证
Miguel Terra-NevesResearch Scientist, OutSystems在 outsystems.com 的电子邮件经过验证
Arlindo L OliveiraDistinguished Professor, Instituto Superior Técnico / INESC-ID在 tecnico.ulisboa.pt 的电子邮件经过验证
Mikoláš JanotaCTU Prague在 cvut.cz 的电子邮件经过验证
Alexandre LemosOutSystems, Instituto superior Técnico在 outsystems.com 的电子邮件经过验证
Anton BelovSynopsys Inc.在 belov-mcdowell.com 的电子邮件经过验证
Saurabh JoshiSupraOracles在 cse.iith.ac.in 的电子邮件经过验证
Steven PrestwichLecturer in Computer Science, University College Cork, Ireland在 cs.ucc.ie 的电子邮件经过验证
Filipe GouveiaDepartment of Computer Science, University of Oxford在 cs.ox.ac.uk 的电子邮件经过验证
Sharad MalikProfessor of Electrical and Computer Engineering, Princeton University在 princeton.edu 的电子邮件经过验证
Daniel Le BerreCRIL-CNRS Université d'Artois在 cril.fr 的电子邮件经过验证
Karem A SakallahUniversity of Michigan在 umich.edu 的电子邮件经过验证
Daniel RamosCarnegie Mellon University, and IST/UL在 cmu.edu 的电子邮件经过验证
Oliver KullmannSwansea University在 Swansea.ac.uk 的电子邮件经过验证
Ian GentProfessor of Computer Science, St Andrews University在 st-andrews.ac.uk 的电子邮件经过验证
Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus在 mpi-sws.org 的电子邮件经过验证

关注

Ines Lynce

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

在 tecnico.ulisboa.pt 的电子邮件经过验证 - 首页

Constraint Programming Automated Reasoning Artificial Intelligence


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
Conflict-driven clause learning SAT solvers J Marques-Silva, I Lynce, S Malik Handbook of satisfiability, 133-182, 2021	656	2021
Open-WBO: A Modular MaxSAT Solver^, R Martins, V Manquinho, I Lynce Theory and Applications of Satisfiability Testing–SAT 2014: 17th …, 2014	259	2014
Sudoku as a SAT Problem. I Lynce, J Ouaknine AI&M, 2006	238	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	124	2006
Incremental cardinality constraints for MaxSAT R Martins, S Joshi, V Manquinho, I Lynce Principles and Practice of Constraint Programming: 20th International …, 2014	119	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	114	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	103	2003
On improving MUS extraction algorithms J Marques-Silva, I Lynce International Conference on Theory and Applications of Satisfiability …, 2011	91	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	83	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	74	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	67	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
Local search for unsatisfiability S Prestwich, I Lynce International conference on theory and applications of satisfiability …, 2006	51	2006

系统目前无法执行此操作，请稍后再试。

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用