Table of Contents

Welcome

This page is the root of Reason Lab wiki. The wiki provides a glimpse of our team's work on automated reasoning technologies, at the intersection of computational logic, formal methods and artificial intelligence. More information is available from our mission statement.

Recent News

Date News Brief
2018/10/31 Paper “Abduction-Based Explanations for Machine Learning Models” accepted at AAAI 2019 (CORE A*)
2018/10/19 Paper “Formally Verifying the Solution to the Boolean Pythagorean Triples Problem,” accepted at Journal of Automated Reasoning (CORE A)
2018/07/04 The Reason Lab's RC2 MaxSAT solver received two medals at the FLoC 2018Olympic Games.
2018/04/16 Paper “Learning Optimal Decision Trees with SAT” accepted at IJCAI'2018 (CORE A*)
2018/04/06 Invited Paper “Computing with SAT Oracles: Past, Present & Future” accepted at CiE'2018 (CORE C)
2018/03/31 Paper “A SAT-Based Approach to Learn Explainable Decision Sets” accepted at IJCAR'2018 (CORE A*)
2018/03/31 Paper “PySAT: A Python Toolkit for Prototyping with SAT Oracles” accepted at SAT'2018 (CORE A)
2017/11/08 Paper “MaxSAT Resolution with the Dual Rail Encoding” accepted at AAAI'2018 (CORE A*)
2017/11/08 Paper “Premise Set Caching for Enumerating Minimal Correction Subsets” accepted at AAAI'2018 (CORE A*)
2017/11/08 Paper “On Cryptographic Attacks Using Backdoors for SAT” accepted at AAAI'2018 (CORE A*)
Print/export