Differences

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

Link to this comparison view

Both sides previous revision Previous revision
Next revision Both sides next revision
start [2019/04/22 19:42]
jpms
start [2019/04/22 19:44]
jpms
Line 16: Line 16:
 | 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/​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/​03/​31 ​    | Paper “A SAT-Based Approach to Learn Explainable Decision Sets” accepted at IJCAR'​2018 (CORE A*) | \\
  
 ==== Navigation ==== ==== Navigation ====
Print/export