Alexey Ignatiev - Citas de Google Académico

Citado por

	Total	Desde 2015
Citas	471	457
Índice h	14	14
Índice i10	18	18

180

135

2012201320142015201620172018201920203 3 8 33 61 61 90 166 39

Coautores

Joao Marques-SilvaResearch Chair, ANITI, Université Fédérale Toulouse Midi-Pyrénées, FranceDirección de correo verificada de acm.org
Alessandro PrevitiEricsson ResearchDirección de correo verificada de ericsson.com
Nina NarodytskaVMware ResearchDirección de correo verificada de vmware.com
Mikoláš JanotaAssistant Professor, Instituto Superior Técnico (IST) / INESC-ID, University of LisbonDirección de correo verificada de sat.inesc-id.pt
Rafael PeñalozaUniversity of Milano-BicoccaDirección de correo verificada de unimib.it
Vasco ManquinhoINESC-ID, Instituto Superior Técnico - Universidade de LisboaDirección de correo verificada de inesc-id.pt
Oleg ZaikinISDCT SB RASDirección de correo verificada de icc.ru
Filipe PereiraDirección de correo verificada de lasige.di.fc.ul.pt
Ines LynceINESC-ID / IST, Universidade de LisboaDirección de correo verificada de tecnico.ulisboa.pt
Sam BussProfessor of Mathematics and Computer ScienceDirección de correo verificada de ucsd.edu
Maria Luisa BonetLSI, UPCDirección de correo verificada de lsi.upc.edu
Mark LiffitonIllinois Wesleyan UniversityDirección de correo verificada de iwu.edu
M. Fareed ArifThe Unviersity of IowaDirección de correo verificada de uiowa.edu
Norbert MantheyTU DresdenDirección de correo verificada de tu-dresden.de
Jordi PlanesUniversitat de LleidaDirección de correo verificada de diei.udl.cat
Oliver KullmannSwansea UniversityDirección de correo verificada de Swansea.ac.uk
Aditya A. ShrotriRice UniversityDirección de correo verificada de rice.edu
Kuldeep S. MeelAssistant Professor, National University of SingaporeDirección de correo verificada de comp.nus.edu.sg
Mayur NaikAssociate Professor of Computer Science, University of PennsylvaniaDirección de correo verificada de cis.upenn.edu
Xin ZhangPostdoctoral Associate, Massachusetts Institute of TechnologyDirección de correo verificada de csail.mit.edu

Alexey Ignatiev

Faculty of Information Technology, Monash University

Dirección de correo verificada de monash.edu - Página principal

Satisfiability Computational Logic Automated Reasoning Artificial Intelligence Knowledge Representation and Reasoning


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
Smallest MUS extraction with minimal hitting set dualization A Ignatiev, A Previti, M Liffiton, J Marques-Silva International Conference on Principles and Practice of Constraint …, 2015	39	2015
Efficient Model Based Diagnosis with Maximum Satisfiability J Marques-Silva, M Janota, A Ignatiev, A Morgado 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), 0	31*
PySAT: A Python toolkit for prototyping with SAT oracles A Ignatiev, A Morgado, J Marques-Silva International Conference on Theory and Applications of Satisfiability …, 2018	30	2018
Prime compilation of non-clausal formulae A Previti, A Ignatiev, A Morgado, J Marques-Silva Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015	30	2015
MSCG: Robust core-guided MaxSAT solving A Morgado, A Ignatiev, J Marques-Silva Journal on Satisfiability, Boolean Modeling and Computation 9 (1), 129-134, 2014	30	2014
Progression in Maximum Satisfiability. A Ignatiev, A Morgado, VM Manquinho, I Lynce, J Marques-Silva ECAI, 453-458, 2014	23	2014
Learning Optimal Decision Trees with SAT. N Narodytska, A Ignatiev, F Pereira, J Marques-Silva, IS RAS IJCAI, 1362-1368, 2018	21	2018
On cryptographic attacks using backdoors for SAT A Semenov, O Zaikin, I Otpuschennikov, S Kochemazov, A Ignatiev Thirty-Second AAAI Conference on Artificial Intelligence, 2018	20	2018
Towards efficient optimization in package management systems A Ignatiev, M Janota, J Marques-Silva Proceedings of the 36th International Conference on Software Engineering …, 2014	19	2014
Quantified maximum satisfiability A Ignatiev, M Janota, J Marques-Silva International Conference on Theory and Applications of Satisfiability …, 2013	18	2013
On tackling the limits of resolution in SAT solving A Ignatiev, A Morgado, J Marques-Silva International Conference on Theory and Applications of Satisfiability …, 2017	16	2017
BEACON: An Efficient SAT-Based Tool for Debugging Ontologies MF Arif, C Mencía, A Ignatiev, N Manthey, R Peñaloza, J Marques-Silva International Conference on Theory and Applications of Satisfiability …, 2016	16	2016
A SAT-based approach to learn explainable decision sets A Ignatiev, F Pereira, N Narodytska, J Marques-Silva International Joint Conference on Automated Reasoning, 627-645, 2018	15	2018
MCS extraction with sublinear oracle queries C Mencía, A Ignatiev, A Previti, J Marques-Silva International Conference on Theory and Applications of Satisfiability …, 2016	14	2016
Abduction-based explanations for machine learning models A Ignatiev, N Narodytska, J Marques-Silva Proceedings of the AAAI Conference on Artificial Intelligence 33, 1511-1519, 2019	13	2019
MaxSAT resolution with the dual rail encoding ML Bonet, S Buss, A Ignatiev, J Marques-Silva, A Morgado Thirty-Second AAAI Conference on Artificial Intelligence, 2018	13	2018
On reducing maximum independent set to minimum satisfiability A Ignatiev, A Morgado, J Marques-Silva International Conference on Theory and Applications of Satisfiability …, 2014	12	2014
Propositional abduction with implicit hitting sets A Ignatiev, A Morgado, J Marques-Silva Proceedings of the Twenty-second European Conference on Artificial …, 2016	11	2016
Maximal Falsifiability A Ignatiev, A Morgado, J Planes, J Marques-Silva International Conference on Logic for Programming Artificial Intelligence …, 2013	9	2013
Efficient autarkies J Marques-Silva, A Ignatiev, A Morgado, V Manquinho, I Lynce work 12 (2), 29, 2014	8	2014

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

Subir PDF

Seguir a este autor

Citado por

Coautores