On the length of an unsatisfiable subformula. International Conference Mal"tsev meeting November 13-17, 2023. Novosibirsk, 2023, p. 132.
Go to publication Download (1.8 MB)
| Authors: Seliverstov A. |
 |
|
||||||||||||||||||||||||||||||||||
| ðóññêèé | english |
|
||||||||||||||||||||||||||||||||||
|
|
||||||||||||||||||||||||||||||||||
© Institute for Information Transmission Problems of the Russian Academy of Sciences (Kharkevich Institute), 2024
About | Contacts | Ïðîòèâîäåéñòâèå êîððóïöèè