FraSMT

An SMT Approach to Fractional Hypertree Width
Proceedings of CP 2018, the 24rd International Conference on Principles and Practice of Constraint Programming (John N. Hooker), volume 11008 of Lecture Notes in Computer Science, pages 109-127, 2018, Springer Verlag.
Cite DOI