Report of the Third QBF Solvers Evaluation

Autor:	Narizzano, Massimo, Pulina, L., Tacchella, Armando
Jazyk:	angličtina
Rok vydání:	2006
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=od______3710::c124cd805e55024aaa3c0e56885e6742 http://hdl.handle.net/11567/229791 Zobrazit plný text záznamu