|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
The complexity of quantified constraints: collapsibility, switchability and the algebraic formulationстатья
- Авторы: Carvalho Catarina, Madelaine Florent, Martin Barnaby, Zhuk Dmitriy
- Журнал: ACM Transactions on Computational Logic
- Год издания: 2022
- Издательство: Association for Computing Machinery, Inc.
- Местоположение издательства: United States
- DOI: 10.1145/3568397
- Добавил в систему: Жук Дмитрий Николаевич