A Moderately Exponential Time Algorithm for k-IBDD Satisfiability.

Atsuki Nagao, Kazuhisa Seto, Junichi Teruyama

Browse the full WADS paper archive.