La insatisfacibilidad de una asignación parcial dada, se detecta si una clausula se vacía, es decir, si todas las variables han sido asignadas de manera que hace a los literales correspondientes falsos.