Two papers accepted to KR 2018
Two papers from the Constraint Reasoning and Optimization group will be presented in November 2018 at KR 2018, 16th International Conference on...
Two papers accepted to PGM 2018
Two papers from the Constraint Reasoning and Optimization group have been accepted for inclusion in Proceedings of Journal of Machine Learning...
Accepted paper at COMMA 2018
The work proposes and studies first SAT and MaxSAT approaches to three distinct hard computational problems over abstract argumentation...
Järvisalo to give keynote talk at SAFA 2018
Matti Järvisalo invited to give the keynote talk at the 2nd International Workshop on Systems and Algorithms for Formal Argumentation in Warsaw...
Jeremias Berg defends PhD thesis
On May 25 2018, Berg successfully defended his doctoral thesis on Solving Optimization Problems via Maximum Satisfiablity.
Two papers accepted to IJCAI-ECAI 2018
Two papers from the Constraint Reasoning and Optimization group will be presented in July 2018 at IJCAI-ECAI 2018, the 27th International Joint...
SAT Competition and MaxSAT Evaluation 2018
The Constraint Reasoning and Optimization group is involved in co-organizing the main SAT and MaxSAT solver competitions in 2018.
Järvisalo to chair Pragmatics of SAT 2018
Matti Järvisalo will act as Program Committee chair together with Daniel Le Berre for the 2018 edition of the Pragmatics of SAT workshop.