SAT-Based Tree Decomposition with Iterative Cascading Policy Selection.

Hai Xia, Stefan Szeider

Browse the full AAAI paper archive.