https://123dok.org/document/zpn61090-sat-based-encoding-pass-tree-shaped-tableau-ltl.html