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.
| 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*) |