Livejournal
Log in
Post
Friends
My journal
thesz
Утреннее чтение
Oct 20, 2023 11:17
https://drops.dagstuhl.de/opus/volltexte/2023/18480/pdf/LIPIcs-SAT-2023-18.pdf
Read more... )
sdcl
,
логическая разрешимость
,
cdcl
Leave a comment
Comments 2
red_nadia
October 20 2023, 09:58:59 UTC
Ничего не поняла, за это и лайк)
Reply
thesz
October 20 2023, 10:21:29 UTC
Там нет ничего сложного. Просто нужно это редко, поэтому и не разбирается никто.
Reply
Leave a comment
Up
Comments 2
Reply
Reply
Leave a comment