What does ADDCT mean?

Looking for the full meaning of ADDCT? From the following image, you can find out all definitions of ADDCT. If you want, you can also download image file to print.

AcronymDefinition
ADDCTAutomated Deduction: Decidability, Complexity, Tractability