Wed, 03.09.2014
The paper SAT-Based Approaches to Treewidth Computation: An Evaluation by Jeremias Berg and Matti Järvisalo has been accepted for publication in the proceedings of the 26th International Conference on Tools with Artificial Intelligence (ICTAI 2014).
Last updated on 3 Sep 2014 by Matti Järvisalo - Page created on 3 Sep 2014 by Matti Järvisalo