Triangulator is an implementation of the Bouchitté-Todinca algorithm developed in my master's thesis Finding Optimal Tree Decompositions.
src/ contains the source code and the instructions to install and use Triangulator.
experiment_data/ contains full data of the experiments conducted in the thesis.
instances/ contains instances of the experiments conducted in the thesis.
The present version of Triangulator is documented in
Finding Optimal Tree Decompositions. Tuukka Korhonen, MSc thesis, University of Helsinki.
Earlier versions of Triangulator have been documented in
Finding Most Compatible Phylogenetic Trees over Multi-State Characters. Tuukka Korhonen and Matti Järvisalo. In Proceedings of AAAI 2020.
Solving Graph Problems via Potential Maximal Cliques: An Experimental Evaluation of the Bouchitté-Todinca Algorithm. Tuukka Korhonen, Jeremias Berg and Matti Järvisalo. ACM Journal of Experimental Algorithmics, Volume 24 Issue 1, 2019.