@dblp

A Moderately Exponential Time Algorithm for k-IBDD Satisfiability.

, , and . WADS, volume 9214 of Lecture Notes in Computer Science, page 554-565. Springer, (2015)

Links and resources

Tags