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.2022 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... 9.12.2021 Data science news Kari Rantanen defends PhD thesis On December 8, 2021, Kari Rantanen of the Constraint Reasoning and Optimization group successfully defended his doctoral thesis Optimization... 25.8.2021 Data science news Award for Best Computer Science Master's thesis in Finland in 2019-2020 to Korhonen Tuukka Korhonen receives the Finnish Society for Computer Science Master's thesis award for the best computer science Master's thesis in Finland... 25.8.2021 Data science news Best Finnish PhD Thesis in CS Award to Niskanen Finnish Information Processing Association has awarded the annual award for the best PhD thesis in computer science award to Andreas Niskanen of... 23.8.2021 Data science news Paper accepted to Theory and Practice of Logic Programming In the article, the authors harness recent advances in incremental answer set solving for developing effective algorithms for reasoning tasks in... 16.8.2021 Data science news Paper accepted to FOCS 2021 The work presents the first 2-approximation algorithm for treewidth that is faster than known exact algorithms. 3.8.2021 Data science news Paper accepted to Artificial Intelligence Journal The article provides and detailed overview the 2020 SAT Competition and an extended empirical analysis of the results of the competition. 28.7.2021 Data science news Four papers accepted to CP 2021 Four research papers by the Constraint Reasoning and Optimization Group have been accepted for publication in the proceedings of CP 2021, a... 9.7.2021 Data science news First Place in Model Counting Competition 2021 The SharpSAT-TD exact propositional model counter, implemented by Tuukka Korhonen of the Constraint Reasoning and Optimization group, ranks... Pages1 2 3 4 5 6 7 Next
10.1.2022 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...
9.12.2021 Data science news Kari Rantanen defends PhD thesis On December 8, 2021, Kari Rantanen of the Constraint Reasoning and Optimization group successfully defended his doctoral thesis Optimization...
25.8.2021 Data science news Award for Best Computer Science Master's thesis in Finland in 2019-2020 to Korhonen Tuukka Korhonen receives the Finnish Society for Computer Science Master's thesis award for the best computer science Master's thesis in Finland...
25.8.2021 Data science news Best Finnish PhD Thesis in CS Award to Niskanen Finnish Information Processing Association has awarded the annual award for the best PhD thesis in computer science award to Andreas Niskanen of...
23.8.2021 Data science news Paper accepted to Theory and Practice of Logic Programming In the article, the authors harness recent advances in incremental answer set solving for developing effective algorithms for reasoning tasks in...
16.8.2021 Data science news Paper accepted to FOCS 2021 The work presents the first 2-approximation algorithm for treewidth that is faster than known exact algorithms.
3.8.2021 Data science news Paper accepted to Artificial Intelligence Journal The article provides and detailed overview the 2020 SAT Competition and an extended empirical analysis of the results of the competition.
28.7.2021 Data science news Four papers accepted to CP 2021 Four research papers by the Constraint Reasoning and Optimization Group have been accepted for publication in the proceedings of CP 2021, a...
9.7.2021 Data science news First Place in Model Counting Competition 2021 The SharpSAT-TD exact propositional model counter, implemented by Tuukka Korhonen of the Constraint Reasoning and Optimization group, ranks...