On the length of an unsatisfiable conjunction. International Conference Polynomial Computer Algebra 2024, St. Petersburg, Russia, Apr 15–20 2024, pp. 140–143.
| Авторы: Селиверстов А.В. |
 |
|
||||||||||||||||||||||||||||||||||
| русский | english |
|
||||||||||||||||||||||||||||||||||
|
|
||||||||||||||||||||||||||||||||||
© Федеральное государственное бюджетное учреждение науки
Институт проблем передачи информации им. А.А. Харкевича Российской академии наук, 2024
Об институте | Контакты | Противодействие коррупции