QMRes
| Submitter: | Vardi | ||
| Description: | Devised by Guoqiang Pan and Moshe Y. Vardi, it is based on a symbolic implementation of the original DP algorithm, achieved using ZBDDs. The algorithm features multi-resolution, a simple form of unit propagation, and heuristics to choose the variables to eliminate. | ||
| Results: | |||