@techreport{Geschwender:2016TR, AUTHOR = {Daniel J. Geschwender and Robert J. Woodward and Berthe Y. Choueiry and Stephen D. Scott}, TITLE = {{A Portfolio Approach for Enforcing Minimality in a Tree Decomposition}}, YEAR = 2016, TYPE = {Technical Report}, NUMBER = {TR-UNL-CSE-2016-0003}, INSTITUTION = {Department of Computer Science and Engineering, University of Nebraska-Lincoln}, ADDRESS = {Lincoln, NE}}