Home

Primary tabs

2018
Semenov, A., O. Zaikin, I. Otpuschennikov, S. Kochemazov, and A. Ignatiev, "On Cryptographic Attacks Using Backdoors for SAT", arXiv preprint arXiv:1803.04646, 2018.
Narodytska, N., A. Ignatiev, F. Pereira, J. Marques-Silva, and ISDCT. S. B. RAS, "Learning Optimal Decision Trees with SAT.", IJCAI, pp. 1362–1368, 2018.
Bonet, M. Luisa, S. Buss, A. Ignatiev, J. Marques-Silva, and A. Morgado, MaxSAT Resolution with the Dual Rail Encoding, , 2018.
Ignatiev, A., A. Morgado, and J. Marques-Silva, "PySAT: A Python Toolkit for Prototyping with SAT Oracles", International Conference on Theory and Applications of Satisfiability Testing: Springer, pp. 428–437, 2018.
Ignatiev, A., F. Pereira, N. Narodytska, and J. Marques-Silva, "A SAT-based approach to learn explainable decision sets", International Joint Conference on Automated Reasoning: Springer, pp. 627–645, 2018.
2017
Ignatiev, A., A. Morgado, J. Marques-Silva, and ISDCT. S. B. RAS, "Cardinality encodings for graph optimization problems", International Joint Conference on Artificial Intelligence (IJCAI), 2017.
Marques-Silva, J., A. Ignatiev, and A. Morgado, "Horn Maximum Satisfiability: Reductions, Algorithms & Applications", arXiv preprint arXiv:1705.05335, 2017.
Peñaloza, R., C. Mencía, A. Ignatiev, and J. Marques-Silva, "Lean Kernels in Description Logics", European Semantic Web Conference: Springer, pp. 518–533, 2017.
Ignatiev, A., A. Morgado, and J. Marques-Silva, "Model Based Diagnosis of Multiple Observations with Implicit Hitting Sets", arXiv preprint arXiv:1707.01972, 2017.
Ignatiev, A., A. Morgado, and J. Marques-Silva, "On Tackling the Limits of Resolution in SAT Solving", arXiv preprint arXiv:1705.01477, 2017.
2016
M Arif, F., C. Mencía, A. Ignatiev, N. Manthey, R. Peñaloza, and J. Marques-Silva, "BEACON: An Efficient SAT-Based Tool for Debugging {\mathcal {EL}}{^+} Ontologies", International Conference on Theory and Applications of Satisfiability Testing: Springer, pp. 521–530, 2016.
Marques-Silva, J., A. Ignatiev, C. Mencía, and R. Peñaloza, "Efficient reasoning for inconsistent horn formulae", European Conference on Logics in Artificial Intelligence: Springer, pp. 336–352, 2016.
Ignatiev, A., A. Previti, and J. Marques-Silva, "On Finding Minimum Satisfying Assignments", International Conference on Principles and Practice of Constraint Programming: Springer, pp. 287–297, 2016.
Si, X., X. Zhang, V. Manquinho, M. Janota, A. Ignatiev, and M. Naik, "On incremental core-guided maxsat solving", International Conference on Principles and Practice of Constraint Programming: Springer, pp. 473–482, 2016.
Ignatiev, A., A. Morgado, J. Planes, and J. Marques-Silva, "Maximal falsifiability", AI Communications, vol. 29, no. 2: IOS Press, pp. 351–370, 2016.
Mencía, C., A. Ignatiev, A. Previti, and J. Marques-Silva, "MCS extraction with sublinear oracle queries", International Conference on Theory and Applications of Satisfiability Testing: Springer, pp. 342–360, 2016.
Ignatiev, A., A. Morgado, and J. Marques-Silva, "Propositional Abduction with Implicit Hitting Sets", arXiv preprint arXiv:1604.08229, 2016.
Ignatiev, A., M. Janota, and J. Marques-Silva, "Quantified maximum satisfiability", Constraints, vol. 21, no. 2: Springer, pp. 277–302, 2016.