Das Erfüllbarkeitsproblem für allgemeine (beliebige) Formeln ist NP-vollständig, d. h. (unter der Voraussetzung, dass P ungleich NP) nicht in polynomialer Laufzeit lösbar.
das ɛɾfˈylbaɾkˌaɪtʃpɾɔbləm fyːɾ ˈalɡəmˌaɪnə bəlˈiːbɪɡə fˈɔɾməln ɪst ˌɛnpˈeːfˈɔlʃtˌɛndɪç, dˈeː. hˈɑː. ˌʊntɜ dɛɾ foːrˈaʊszˌɛtsʊŋ, das pˈeː ˈʊnɡlˌaɪç ˌɛnpˈeː nˈɪçt ɪn pˌoːlyːnˌoːmiːˈɑːlɜ lˈaʊftsaɪt lˈøːzbɑːɾ.