Satisfiable

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

Related Phrases

Boolean Satisfiability Problem

Compactness Theorem

Implicitly Existentially Quantified

Karloff–zwick Algorithm

Löwenheim–skolem Theorem

Prenex Normal Form

Skolem Normal Form

Valiant–vazirani Theorem

Related Words