Variable Gadget Clause Gadget Clause Gadget++ Checker Gadget Full Reduction