@inproceedings{DBLP:conf/cp/FichteHLS18, title = {An {SMT} Approach to Fractional Hypertree Width}, author = {Fichte, Johannes Klaus and Hecher, Markus and Lodha, Neha and Szeider, Stefan}, booktitle = {{CP}}, pages = {109--127}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {11008}, year = {2018} }