Авторский профиль

Игнатьев Алексей Сергеевич

Автор 41 статей

должность: Научный сотрудник

e-mail: aign@icc.ru

телефон: 453054

Публикации

2019

On Computing the Union of MUSes
Статья в журнале

Mencía C., Kullmann O., Ignatiev A., Marques-Silva J.
в журнале Lecture Notes in Computer Science, 22nd International Conference on Theory and Applications of Satisfiability Testing, SAT 2019; Lisbon; Portugal, издательство (), № , с.211-221

DRMaxSAT with MaxHS: First Contact
Статья в журнале

Morgado A., Ignatiev A., Bonet M., Marques-Silva J., Buss S.
в журнале Lecture Notes in Computer Science,22nd International Conference on Theory and Applications of Satisfiability Testing, SAT 2019; Lisbon; Portugal, издательство (), № , с.239-249

Narodytska N., Shrotri A., Meel K.S., Ignatiev A., Marques-Silva J.
в журнале Lecture Notes in Computer Science, 22nd International Conference on Theory and Applications of Satisfiability Testing, SAT 2019; Lisbon; Portugal, издательство (), № , с.267-278

Model-Based Diagnosis of Multiple Observations
Статья в журнале

Ignatiev A., Morgado A., Weissenbacher G., Marques-Silva J.
в журнале IJCAI-2019, 28th International Joint Conference on Artificial Intelligence, издательство (), № , с.1108-1115

Zakirzyanov I., Morgado A., Ignatiev A., Ulyantsev V., Marques-Silva J.
в журнале Lecture Notes in Computer Science, издательство (), № , с.159-173

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

2018

MaxSAT Resolution with the Dual Rail Encoding
Труды конференций

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

Learning Optimal Decision Trees with SAT
Труды конференций

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

On Cryptographic Attacks Using Backdoors for SAT
Статья в журнале

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

On Computing Generalized Backbones
Труды конференций

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

Ignatiev A., Pereira F., Marques-Silva J., Narodytska N.
в журнале Lecture Notes in Artificial Intelligence, издательство (), № , с.627-645

Ignatiev A., Morgado A., Marques-Silva J.
в журнале Lecture Notes in Computer Science, издательство (), № , с.428-437

2017

Ignatiev A., Morgado A., Marques-Silva J.
в журнале Lecture Notes in Computer Science, издательство (), № , с.164-183

Marques-Silva J., Ignatiev A., Morgado A.
в журнале Lecture Notes in Computer Science, издательство (), № , с.681-694

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

2016

Quantified maximum satisfiability
Статья в журнале

Ignatiev A., Janota M., Marques-Silva J.
в журнале Constraints, издательство (), № 2, с.277-302

On Finding Minimum Satisfying Assignments
Статья в журнале

Ignatiev A., Previti A., Marques-Silva J.
в журнале Lecture Notes in Computer Science, издательство (), № , с.287-297

MCS Extraction with Sublinear Oracle Queries
Статья в журнале

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., Mencía C., Penaloza R.
в журнале Lecture Notes in Computer Science, издательство (), № , с.336-352

Ignatiev A., Morgado A., Marques-Silva J.
в журнале Frontiers in Artificial Intelligence and Applications, издательство (), № , с.1327-1335

On Incremental Core-Guided MaxSAT Solving
Статья в журнале

Si X., Zhang X., Manquinho V., Janota N., Ignatiev A., Naik M.
в журнале Lecture Notes in Computer Science, издательство (), № , с.473-482

2014

Ignatiev A., Morgado A., Marques-Silva J.
в журнале Lecture Notes in Computer Science, издательство (), № , с.103-120

Progression in Maximum Satisfiability
Статья в журнале

Ignatiev A., Morgado A., Manquinho V., Lynce I., Marques-Silva J.
в журнале Frontiers in Artificial Intelligence and Applications, издательство (), № , с.453-458

Efficient Autarkies
Статья в журнале

Marques-Silva J., Ignatiev A., Morgado A., Manquinho V., Lynce I.
в журнале Frontiers in Artificial Intelligence and Applications, издательство (), № , с.603-608

2013

Ignatiev A., Morgado A., Planes J., Marques-Silva J.
в журнале Lecture Notes in Computer Science, издательство (), № , с.439–456

Ignatiev A., Janota M., Marques-Silva J.
в журнале Lecture Notes in Computer Science, издательство (), № , с.250-266

2012

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

2011

Ignatiev A., Semenov A.
в журнале Lecture Notes in Computer Sciences, издательство (), № , с.76–89

Ignatiev A., Semenov A.
в журнале Theory and Applications of Satisfiability Testing - SAT 2011, издательство (), № , с.76-89

2010

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

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

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

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

2009

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

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

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

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

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

2008

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

2006

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

Руководство проектами