Posted in Information Technology, Schools & Education ADDCT stands for Automated Deduction: Decidability, Complexity, Tractability (Workshop) ADDCT Share Pinterest Tweet Whatsapp Post navigation ADDCSADDD Leave a Reply Cancel replyYour email address will not be published. Required fields are marked *Comment * Name * Email * Website Save my name, email, and website in this browser for the next time I comment.