Semenov A., Chivilikhin D., Pavlenko A., Ulyantsev V., Otpuschennikov I., Ignatiev A.
в журнале Leibniz International Proceedings in Informatics, LIPIcs. 27 , № , с.

Zaikin O., Ignatiev A., Marques-Silva J.
в журнале Frontiers in Artificial Intelligence and Applications , № , с.379-386

Ignatiev A., Morgado A., Marques-Silva J., Weissenbacher G.
в журнале Proc. of the 28th Intern. Joint Conf. on Artificial Intelligence (IJCAI'2019; Macao, 10-16 августа 2019 г.) , № , с.1108-1115

Ignatiev A., Morgado A., Weissenbacher G., Marques-Silva J.
в журнале IJCAI-2019: Proc. of the 28th Intern. Joint Conf. on Artificial Intelligence , № , с.1108-1115

Narodytska N., Shrotri A., Meel K.S., Ignatiev A., Marques-Silva J.
в журнале Lecture Notes in Computer Science: Proc. of 22nd Intern. Conf. on Theory and Applications of Satisfiability Testing (SAT'2019; Lisbon; Portugal) , № , с.267-278

Morgado A., Ignatiev A., Bonet M., Marques-Silva J., Buss S.
в журнале Lecture Notes in Computer Science: Proc. of 22nd Intern. Conf. on Theory and Applications of Satisfiability Testing (SAT'2019; Lisbon; Portugal) , № , с.239-249

Mencía C., Kullmann O., Ignatiev A., Marques-Silva J.
в журнале Lecture Notes in Computer Science: Proc. of 22nd Intern. Conf. on Theory and Applications of Satisfiability Testing (SAT'2019; Lisbon; Portugal) , № , с.211-221

Ignatiev A., Narodytska N., Marques-Silva J.
в журнале AAAI: 33rd AAAI Conference on Artificial Intelligence / 31st Innovative Applications of Artificial Intelligence Conference / 9th AAAI Symposium on Educational Advances in Artificial Intelligence , № , с.1511-1519

Zakirzyanov I., Morgado A., Ignatiev A., Ulyantsev V., Marques-Silva J.
в журнале Lecture Notes in Computer Science: 13th Intern. Conf. on Language and Automata Theory and Applications (LATA 2019, March 26-29 2019, St. Petersburg ) , № , с.159-173

Semenov A., Zaikin O., Otpuschennikov I., Kochemazov S., Ignatiev A.
в журнале AAAI: 32nd AAAI Conference on Artificial Intelligence / 30th Innovative Applications of Artificial Intelligence Conference / 8th AAAI Symposium on Educational Advances in Artificial Intelligence , № , с.6641-6648

Narodytska N., Ignatiev A., Pereira F., Marques-Silva A..
в журнале Proc. 27th Intern. Joint Conf. on Artificial Intelligence (IJCAI’18) , № , с.1362–1368

Bonet M., Buss S., Ignatiev A., Marques-Silva J., Morgado A.
в журнале Proc. 32nd AAAI Conference on Artificial Intelligence (AAAI’18) , № , с.6565-6572

Ignatiev A., Morgado A., Marques-Silva J.
в журнале Lecture Notes in Computer Science , № , с.428-437

Ignatiev A., Pereira F., Marques-Silva J., Narodytska N.
в журнале Lecture Notes in Artificial Intelligence , № , с.627-645

Previti A., Jarvisalo M., Marques-Silva J., Ignatiev A.
в журнале Proc. 29th IEEE Intern. Conf. on Tools with Artificial Intelligence (ICTAI 29, Boston, MA, 06-08 ноября 2017 г.) , издательство IEEE Computer Society , № , с.1050-1056

Marques-Silva J., Ignatiev A., Morgado A.
в журнале Lecture Notes in Computer Science , № , с.681-694

Ignatiev A., Morgado A., Marques-Silva J.
в журнале Lecture Notes in Computer Science , № , с.164-183

Ignatiev A., Morgado A., Marques-Silva J.  
в журнале Proc. of 26th Intern. Joint Conf. on Artificial Intelligence (IJCAI 2017, Melbourne, VIC, 19-25 августа 2017г.) , № , с.652–658

Marques-Silva J., Ignatiev A., Mencía C., Penaloza R.
в журнале Lecture Notes in Computer Science , № , с.336-352

Si X., Zhang X., Manquinho V., Janota N., Ignatiev A., Naik M.
в журнале Lecture Notes in Computer Science , № , с.473-482

Ignatiev A., Morgado A., Marques-Silva J.
в журнале Frontiers in Artificial Intelligence and Applications , № , с.1327-1335

Ignatiev A., Janota M., Marques-Silva J.
в журнале Constraints , № 2, с.277-302

Ignatiev A., Previti A., Marques-Silva J.
в журнале Lecture Notes in Computer Science , № , с.287-297

Mencia C., Ignatiev A., Previti A., Marques-Silva J.
в журнале Lecture Notes in Computer Science , № , с.342-360

Arif M., Mencia C., Ignatiev A., Manthey N., Penaloza R., Marques-Silva J.
в журнале Lecture Notes in Computer Science , № , с.521-530

Marques-Silva J., Ignatiev A., Morgado A., Manquinho V., Lynce I.
в журнале Frontiers in Artificial Intelligence and Applications , № , с.603-608

Ignatiev A., Morgado A., Manquinho V., Lynce I., Marques-Silva J.
в журнале Frontiers in Artificial Intelligence and Applications , № , с.453-458

Ignatiev A., Morgado A., Marques-Silva J.
в журнале Lecture Notes in Computer Science , № , с.103-120

Ignatiev A., Janota M., Marques-Silva J.
в журнале Lecture Notes in Computer Science , № , с.250-266

Ignatiev A., Morgado A., Planes J., Marques-Silva J.
в журнале Lecture Notes in Computer Science , № , с.439–456

Семенов А.А., Игнатьев А.С.
в журнале Прикладная дискретная математика. Приложение , № 5, с.118-120

Ignatiev A., Semenov A.
в журнале Theory and Applications of Satisfiability Testing - SAT 2011 , № , с.76-89

Ignatiev A., Semenov A.
в журнале Lecture Notes in Computer Sciences , № , с.76–89

Семенов А.А., Игнатьев А.С., Беспалов Д.В.
в журнале Тез. докл. VIII Рос. конф. с междунар. участием “Новые информ. технологии в исследовании сложных структур” (ICAM) , № , с.85

Игнатьев А.С.
в журнале Материалы конф. “Ляпуновские чтения" (Иркутск, 20–21 декабря 2010 г.) , издательство РИО ИДСТУ СО РАН , № , с.13

Игнатьев А.С., Семенов А.А.
в журнале Материалы V Междунар. конф. “Параллельные вычисления и задачи управления” (Москва, 26–28 октября 2010 г. , издательство ИПУ РАН , № , с.897–904

Игнатьев А.С., Семенов А.А.
в журнале Прикладная дискретная математика , № 1 (7), с.86-104

Игнатьев А.С., Семенов А.А., Беспалов Д.В.
в журнале Тр. Междунар. науч. конф. ПАВТ’09 (Нижний Новгород, 30 марта-3 апреля 2009 г.) , издательство Издательский центр ЮУрГУ , № , с.688–696

Игнатьев А.С., Семенов А.А., Хмельнов А.Е.
в журнале Вестник Томского гос. ун-та. Управление, вычисл.я техника и информатика , № 1 (6), с.115-129

Игнатьев А.С., Семенов А.А., Беспалов Д.В., Заикин О.С.
в журнале Прикладная дискретная математика. Приложение , № 1, с.19-20

Игнатьев А.С., Семенов А.А., Беспалов Д.В.
в журнале Тр. Междунар. науч. конф. (ПАВТ’09, Нижний Новгород) , издательство ННГУ , № , с.688–696

Семенов А.А., Хмельнов А.Е., Игнатьев А.С.
в журнале Вестник НГУ. Сер. Информ. технологии , № 4, с.36-52

Семенов А.А., Игнатьев А.С., Хмельнов А.Е.
в журнале Тез. докл. VII Российской конф. с междунар. участием "Новые информ. технологии в исследовании сложных структур" , № , с.49-49

Хмельнов А.Е., Семенов А.А., Игнатьев А.С.
в журнале Вестник ТГУ. Приложение , № 17, с.25-29