Posted in Information Technology, Schools & Education ADDCT stands for Automated Deduction: Decidability, Complexity, Tractability (Workshop)