Topic AllData science newsScience newsLife science newsNordic welfare newsHealth newsEducation newsLanguage & cultureSociety & economySustainability newsTeaching & studying at the UniversityHigher education & science policyHelsinki University Library Type AllNewsPress releaseIn briefEditorialArticleProfileEssayColumnCommentBooksSpeech Listing <span class="icon--list-as-blocks"></span><span class="icon--list"></span> 10.1.2021 Data science news Summer jobs in Constraint Reasoning and Optimization Constraint Reasoning and Optimization Group is offering summer internships to BSc and MSc level students, providing a hands-on experience to... 7.9.2020 Data science news International Dissertation Award to Berg Jeremias Berg of the Constraint Reasoning and Optimization Group receives the 2020 Doctoral Research Award of the Association for Constraint ... 14.7.2020 Data science news Paper accepted to PGM 2020 The work extends and improves the empirical performance of exact approaches to causal discovery in a very general setting. 10.7.2020 Data science news SAT 2020 Best Paper Award The SAT 2020 Best Paper Award has been awarded to Jeremias Berg of the Constraint Reasoning and Optimization group. 25.6.2020 Data science news Second place in PACE Challenge 2020 The SMS solver implemented by Tuukka Korhonen reached second place in the exact treedepth track of 5th Parameterized Algorithms and... 3.6.2020 Data science news Three papers accepted to KR 2020 Three research papers by the Constraint Reasoning and Optimization Group have been accepted for publication in the proceedings of KR 2020, a... 20.4.2020 Data science news Paper accepted to IJCAI-PRICAI 2020 The Constraint Reasoning and Optimization group contributes to IJCAI-PRICAI 2020 with a paper jointly authored with Daniel Neugebauer from... 19.4.2020 Data science news Paper accepted to SAT 2020 The work develops the concept of abstract cores in the context of maximum satisfiability (MaxSAT) solving, through which the empirical... 9.4.2020 Data science news Paper accepted to LPAR 2020 The work attacks the Gromov’s subgroup conjecture (GSC), a fundamental open conjecture in the area of geometric group theory, via Boolean... Pages1 2 3 4 5 Next
10.1.2021 Data science news Summer jobs in Constraint Reasoning and Optimization Constraint Reasoning and Optimization Group is offering summer internships to BSc and MSc level students, providing a hands-on experience to...
7.9.2020 Data science news International Dissertation Award to Berg Jeremias Berg of the Constraint Reasoning and Optimization Group receives the 2020 Doctoral Research Award of the Association for Constraint ...
14.7.2020 Data science news Paper accepted to PGM 2020 The work extends and improves the empirical performance of exact approaches to causal discovery in a very general setting.
10.7.2020 Data science news SAT 2020 Best Paper Award The SAT 2020 Best Paper Award has been awarded to Jeremias Berg of the Constraint Reasoning and Optimization group.
25.6.2020 Data science news Second place in PACE Challenge 2020 The SMS solver implemented by Tuukka Korhonen reached second place in the exact treedepth track of 5th Parameterized Algorithms and...
3.6.2020 Data science news Three papers accepted to KR 2020 Three research papers by the Constraint Reasoning and Optimization Group have been accepted for publication in the proceedings of KR 2020, a...
20.4.2020 Data science news Paper accepted to IJCAI-PRICAI 2020 The Constraint Reasoning and Optimization group contributes to IJCAI-PRICAI 2020 with a paper jointly authored with Daniel Neugebauer from...
19.4.2020 Data science news Paper accepted to SAT 2020 The work develops the concept of abstract cores in the context of maximum satisfiability (MaxSAT) solving, through which the empirical...
9.4.2020 Data science news Paper accepted to LPAR 2020 The work attacks the Gromov’s subgroup conjecture (GSC), a fundamental open conjecture in the area of geometric group theory, via Boolean...