( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A SAT Approach to Twin-Width.

, и . CoRR, (2021)

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.

Karl Wilhelm Andrée

Emil Andrée

Gustav André

Michael André

Dieter André

 

Другие публикации лиц с тем же именем

SAT Encodings and Beyond (Dagstuhl Seminar 23261)., , , и . Dagstuhl Reports, 13 (6): 106-122 (2023)Computing Optimal Hypertree Decompositions., и . ALENEX, стр. 1-11. SIAM, (2020)Computing Twin-width with SAT and Branch & Bound., и . IJCAI, стр. 2013-2021. ijcai.org, (2023)Computing optimal hypertree decompositions with SAT., и . Artif. Intell., (декабря 2023)Threshold Treewidth and Hypertree Width., , , и . CoRR, (2022)Tractable Abstract Argumentation via Backdoor-Treewidth., , , , , и . AAAI, стр. 5608-5615. AAAI Press, (2022)Weighted Model Counting with Twin-Width., , , , и . SAT, том 236 из LIPIcs, стр. 15:1-15:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)A SAT Approach to Twin-Width., и . CoRR, (2021)SAT-Based Local Search for Plane Subgraph Partitions (CG Challenge).. SoCG, том 224 из LIPIcs, стр. 74:1-74:8. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)SAT-based Decision Tree Learning for Large Data Sets., и . AAAI, стр. 3904-3912. AAAI Press, (2021)