@inproceedings{DaMota_Nicolas_Stephan_JFPC_10, author = "B. {Da Mota} and P. Nicolas and I. St{\'e}phan", title = "Une nouvelle architecture parall{\`e}le pour le probl{\`e}me de validit{\'e} des QBF", booktitle = "Actes des Cinqui{\`e}mes Journ{\'e}es Francophones de Programmation par Contraintes (JFPC'10)", pages = "113-122", year = "2010" }