Expansion-based QBF solving versus Q-resolution
You are here
| Title | Expansion-based QBF solving versus Q-resolution |
| Publication Type | Journal Article |
| Year of Publication | 2015 |
| Authors | Janota M, Marques-Silva J |
| Date Published | 2015 |
| URL | http://www.sciencedirect.com/science/article/pii/S030439751500095X# |
