|
ComputingReviews.com
|
A moderately exponential time algorithm for k-IBDD satisfiability Nagao A., Seto K., Teruyama J. Algorithmica80(10):2725-2741,2018.Type:Article |
|
|
|
Published By: Springer-Verlag New York, Inc. |
|
|
|
|
|
|
|
|
Use your personal or institutional subscription to read the fulltext of the article.
|
|
|
|
|
|
|
|
|
|
|
|