Логічна семантика на основі повідомлень для SAT проблем

Ярослав Петік

SAT; boolean satisfiability; комп’ютерні науки; логіка для комп’ютерних наук; Пол Грайс; формальна мова; аналітична філософія мови

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