Functional Treewidth: Bounding Complexity in the Presence of Functional Dependencies.

Yuliya Zabiyaka, Adnan Darwiche

Browse the full SAT paper archive.