SAT-Based Approaches to Treewidth Computation: An Evaluation.

Jeremias Berg, Matti Jrvisalo

Browse the full ICTAI paper archive.