Model elimination is closely related to resolution while also bearing characteristics of a tableaux method.
Model elimination is closely linked to resolution and also exhibits characteristics of the tableau method.