Antichain-based QBF solving

Technical Report PDF: 
Technical Report Number: 
2011.136
TitleAntichain-based QBF solving
Publication TypeMiscellaneous
Year of Publication2011
AuthorsBrihaye, T, Bruyère V, Doyen L, Ducobu M, Raskin J-F