TitleExpansion-based QBF solving versus Q-resolution
Publication TypeJournal Article
Year of Publication2015
AuthorsJanota M, Marques-Silva J
Date Published2015
URLhttp://www.sciencedirect.com/science/article/pii/S030439751500095X#