From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Encoding Quantified CSPs as Quantified Boolean Formulae.

I. Gent, P. Nightingale, и A. Rowley. ECAI, стр. 176-180. IOS Press, (2004)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Watching Clauses in Quantified Boolean Formulae.A. Rowley. CP, том 2833 из Lecture Notes in Computer Science, стр. 994. Springer, (2003)Watched Data Structures for QBF Solvers.I. Gent, E. Giunchiglia, M. Narizzano, A. Rowley, и A. Tacchella. SAT, том 2919 из Lecture Notes in Computer Science, стр. 25-36. Springer, (2003)Local and Global Complete Solution Learning Methods for QBF.I. Gent, и A. Rowley. SAT, том 3569 из Lecture Notes in Computer Science, стр. 91-106. Springer, (2005)Encoding Quantified CSPs as Quantified Boolean Formulae.I. Gent, P. Nightingale, и A. Rowley. ECAI, стр. 176-180. IOS Press, (2004)