Enter
Login:
Password:
Forgot your password?
scientific activity
structureeducational projectsperiodicalsstaffpress centercontacts
| english

2023 year

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.
 

 

© Institute for Information Transmission Problems of the Russian Academy of Sciences (Kharkevich Institute), 2024
About  |  Contacts  |