Inverse resolution is an inductive reasoning technique that involves the resolution operator.
Inverse resolution
