Buy Me a Coffee at ko-fi.com

Horn-satisfiability

computational problem

Pronunciation
/hɔːn - satɪsfʌɪəˈbɪlɪti/