Iaroslav Petik
- Articles 1 Article
- Views 146 Views
Master of Philosophy
All articles
Message-based semantica for sat problems
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