dynQBF
| Submitter: | Stefan Woltran | ||
| Description: | Devised by G. Charwat and S. Woltran, is a structure-aware QBF solver. It splits the QBF instance into
sub-problems by constructing a tree decomposition. The QBF is then solved
by dynamic programming over the tree decomposition. Details are available here | ||
| Results: | |||