CoSCo News

The article Cost-Optimal Constrained Correlation Clustering via Weighted Partial Maximum Satisfiability by Jeremias Berg and Matti Järvisalo (University of Helsinki and HIIT) has been accepted for publication in Artificial Intelligence. The work is based on Jeremias' Master's thesis from 2014.

Quan (Eric) Nguyen visited the Computational Biology Laboratory at University of East Anglia, Norwich, UK on April 20–30, 2015. Eric gave a talk based on his MSc thesis Likelihood-based Phylogenetic Network Inference by Approximate Structural Expectation Maximization.

The following three papers, featuring our recent work done in collaboration with Frederick Eberhardt (California Institute of Technology), Brandon Malone (Max Plank Institute), and Jose M. Peña and Dag Sonntag (Linköping University), have been accepted for publication in the proceedings of UAI 2015, 31st Conference on Uncertainty in Artificial Intelligence:

Johannes P. Wallner (PhD 2014 from Vienna University of Technology) joins the Constraint Reasoning and Optimization group as a postdoc to work on the project Decision Procedures for the Polynomial Hierarchy, Boolean Optimization, and Model Counting. Welcome, Johannes!

The paper "Improving the Effectiveness of SAT-Based Preprocessing for MaxSAT" by Jeremias Berg, Paul Saikko, and Matti Järvisalo (Constraint Reasoning and Optimization group) has been accepted for publication in the proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015).

Quan (Eric) Nguyen and Teemu Roos (Information, Complexity and Learning research group at HIIT) will present work on phylogenetic network inference at the 2nd International Conference on Algorithms for Computational Biology (AlCoB-2015), Mexico City, August 4-6, 2015. In a paper entitled "Likelihood-based inference of phylogenetic networks from sequence data by PhyloDAG", Nguyen and Roos propose a method that is able to learn accurate phylogenetic network models from data significantly faster than existing state-of-the-art.

The paper Clause Elimination for SAT and QSAT by Marijn Heule (University of Texas at Austin), Matti Järvisalo (HIIT, University of Helsinki), Florian Lonsing (Vienna University of Technology), Martina Seidl (Johannes Kepler University Linz), and Armin Biere (Johannes Kepler University Linz) has been accepted for publication in Journal of Artificial Intelligence Research.

The paper Complexity-Sensitive Decision Procedures for Abstract Argumentation (extended abstract) by Wolfgang Dvořák (University of Vienna), Matti Järvisalo (HIIT, University of Helsinki), Johannes Peter Wallner (Vienna University of Technology), and Stefan Woltran (Vienna University of Technology) has been accepted for presentation at the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015).

Three papers by the members of the MUPI-subgroup were recently accepted for publication, two with co-authors from Aalto University and one with co-authors from Xerox Research Centre.

The article Overview and Analysis of the SAT Challenge 2012 Solver Competition by Adrian Balint (Ulm University, Germany), Anton Belov (University College Dublin, Ireland), Matti Järvisalo (University of Helsinki and HIIT), and Carsten Sinz (Karlsruhe Institute of Technology, Germany) has been accepted for publication in Artificial Intelligence.