Satisfiable

Sorry, we're still building and haven't quite gotten to this subject yet.

Related Phrases

Boolean Formula

Boolean Satisfiability Problem

Compactness Theorem

Original Proof of Gödel's Completeness Theorem

Promise Problem

Valiant–vazirani Theorem

Related Words

Nondeterministically