Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
news [2018/11/01 08:43]
jpms
news [2018/11/01 08:59] (current)
jpms
Line 4: Line 4:
 | 2018/​10/​31 ​    | Paper "​Constraint-Based Explanations of Machine Learning Models"​ accepted at AAAI 2019 (CORE A*) | \\ | 2018/​10/​31 ​    | Paper "​Constraint-Based Explanations of 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/​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 Olympic Games. | \\+| 2018/​07/​04 ​    | The Reason Lab's RC2 MaxSAT solver received ​[[floc18|two medals]] at the [[https://​www.floc2018.org/​|FLoC 2018]][[http://​www.labri.fr/​perso/​lsimon/​flog2018/​|Olympic Games]]. | \\
 | 2018/​04/​16 ​    | Paper "​Learning Optimal Decision Trees with SAT" accepted at IJCAI'​2018 (CORE A*) | \\ | 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/​04/​06 ​    | Invited Paper "​Computing with SAT Oracles: Past, Present & Future"​ accepted at CiE'​2018 (CORE C) | \\
Print/export