Alexey Ignatiev

2017
Ignatiev, A., Morgado A., Marques-Silva J., & RAS ISDCT. S. B. (2017).  Cardinality encodings for graph optimization problems. International Joint Conference on Artificial Intelligence (IJCAI).
Marques-Silva, J., Ignatiev A., & Morgado A. (2017).  Horn Maximum Satisfiability: Reductions, Algorithms & Applications. arXiv preprint arXiv:1705.05335.
Peñaloza, R., Mencía C., Ignatiev A., & Marques-Silva J. (2017).  Lean Kernels in Description Logics. European Semantic Web Conference. 518–533.
Ignatiev, A., Morgado A., & Marques-Silva J. (2017).  Model Based Diagnosis of Multiple Observations with Implicit Hitting Sets. arXiv preprint arXiv:1707.01972.
Ignatiev, A., Morgado A., & Marques-Silva J. (2017).  On Tackling the Limits of Resolution in SAT Solving. arXiv preprint arXiv:1705.01477.
2016
M Arif, F., Mencía C., Ignatiev A., Manthey N., Peñaloza R., & Marques-Silva J. (2016).  BEACON: An Efficient SAT-Based Tool for Debugging {\mathcal {EL}}{^+} Ontologies. International Conference on Theory and Applications of Satisfiability Testing. 521–530.
Marques-Silva, J., Ignatiev A., Mencía C., & Peñaloza R. (2016).  Efficient reasoning for inconsistent horn formulae. European Conference on Logics in Artificial Intelligence. 336–352.
Ignatiev, A., Previti A., & Marques-Silva J. (2016).  On Finding Minimum Satisfying Assignments. International Conference on Principles and Practice of Constraint Programming. 287–297.
Si, X., Zhang X., Manquinho V., Janota M., Ignatiev A., & Naik M. (2016).  On incremental core-guided maxsat solving. International Conference on Principles and Practice of Constraint Programming. 473–482.
Ignatiev, A., Morgado A., Planes J., & Marques-Silva J. (2016).  Maximal falsifiability. AI Communications. 29, 351–370.
Mencía, C., Ignatiev A., Previti A., & Marques-Silva J. (2016).  MCS extraction with sublinear oracle queries. International Conference on Theory and Applications of Satisfiability Testing. 342–360.
Ignatiev, A., Morgado A., & Marques-Silva J. (2016).  Propositional Abduction with Implicit Hitting Sets. arXiv preprint arXiv:1604.08229.
Ignatiev, A., Janota M., & Marques-Silva J. (2016).  Quantified maximum satisfiability. Constraints. 21, 277–302.