Message-based semantica for sat problems

Iaroslav Petik

SAT; boolean satisfiability; computer science; logic for CS; Paul Grice; formal language; analytic philosophy of language

https://doi.org/10.63341/2786-491X-2024-1-67-74