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
Previous revision
news [2018/11/01 08:59]
jpms
news [2019/05/10 05:55] (current)
jpms
Line 2: Line 2:
  
 ^ Date           ^ News Brief                    ^ ^ Date           ^ News Brief                    ^
 +| 2019/​05/​10 ​    | Paper "​Model-Based Diagnosis with Multiple Observations"​ accepted at IJCAI 2019 (CORE A*)| \\
 +| 2019/​04/​22 ​    | Paper "​Assessing Heuristic Machine Learning Explanations with Model Counting"​ accepted at SAT 2019 (CORE A)| \\
 +| 2019/​04/​22 ​    | Paper "​DRMaxSAT with MaxHS: First Contact"​ accepted at SAT 2019 (CORE A)| \\
 +| 2019/​04/​22 ​    | Paper "On Computing the Union of MUSes" accepted at SAT 2019 (CORE A)| \\
 +| 2018/​12/​16 ​    | Paper "​Efficient Symmetry Breaking for SAT-based Minimum DFA Inference"​ accepted at LATA 2019 (CORE C) | \\
 | 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) | \\
Print/export