From post

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

An SMT Approach to Fractional Hypertree Width.

J. Fichte, M. Hecher, N. Lodha, и S. Szeider. CP, том 11008 из Lecture Notes in Computer Science, стр. 109-127. Springer, (2018)

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.

SAT-Based Local Improvement for Finding Tree Decompositions of Small Width.J. Fichte, N. Lodha, и S. Szeider. SAT, том 10491 из Lecture Notes in Computer Science, стр. 401-411. Springer, (2017)SAT-Encodings for Special Treewidth and Pathwidth.N. Lodha, S. Ordyniak, и S. Szeider. SAT, том 10491 из Lecture Notes in Computer Science, стр. 429-445. Springer, (2017)Is simulator-based driver rehabilitation missing motion feedback?H. H., C. Kinder, N. Lodha, и B. Smith. ICORR, стр. 631-636. IEEE, (2019)An SMT Approach to Fractional Hypertree Width.J. Fichte, M. Hecher, N. Lodha, и S. Szeider. CP, том 11008 из Lecture Notes in Computer Science, стр. 109-127. Springer, (2018)A SAT Approach to Branchwidth.N. Lodha, S. Ordyniak, и S. Szeider. IJCAI, стр. 4894-4898. ijcai.org, (2017)A SAT Approach to Branchwidth.N. Lodha, S. Ordyniak, и S. Szeider. ACM Trans. Comput. Log., 20 (3): 15:1-15:24 (2019)A SAT Approach to Branchwidth.N. Lodha, S. Ordyniak, и S. Szeider. SAT, том 9710 из Lecture Notes in Computer Science, стр. 179-195. Springer, (2016)SAT-Encodings for Treecut Width and Treedepth.R. Ganian, N. Lodha, S. Ordyniak, и S. Szeider. ALENEX, стр. 117-129. SIAM, (2019)