( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Tractable Abstract Argumentation via Backdoor-Treewidth.

, , , , , и . AAAI, стр. 5608-5615. AAAI Press, (2022)

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.

Kurt Hecher

Birgit Hecher

Christine Hecher

Markus Markus

Markus Kurscheidt

Ökonomische Analyse von Sportgroßveranstaltungen: ein integrierter Evaluierungs- und Management-Ansatz am Beispiel von Fußball-Weltmeisterschaften. Uni Paderborn, (2007)
 

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

The D-FLAT System for Dynamic Programming on Tree Decompositions., , , , , и . JELIA, том 8761 из Lecture Notes in Computer Science, стр. 558-572. Springer, (2014)Treewidth-Aware Quantifier Elimination and Expansion for QCSP., , и . CP, том 12333 из Lecture Notes in Computer Science, стр. 248-266. Springer, (2020)Counting Answer Sets via Dynamic Programming., , , и . CoRR, (2016)An SMT Approach to Fractional Hypertree Width., , , и . CP, том 11008 из Lecture Notes in Computer Science, стр. 109-127. Springer, (2018)Taming High Treewidth with Abstraction, Nested Dynamic Programming, and Database Technology., , и . SAT, том 12178 из Lecture Notes in Computer Science, стр. 343-360. Springer, (2020)D-FLAT2: Subset Minimization in Dynamic Programming on Tree Decompositions Made Easy., , , и . Fundam. Informaticae, 147 (1): 27-61 (2016)Exploiting Treewidth for Projected Model Counting and Its Limits., , , и . SAT, том 10929 из Lecture Notes in Computer Science, стр. 165-184. Springer, (2018)Utilizing Treewidth for Quantitative Reasoning on Epistemic Logic Programs., , и . Theory Pract. Log. Program., 21 (5): 575-592 (2021)Structure-Aware Lower Bounds and Broadening the Horizon of Tractability for QBF., , , , и . LICS, стр. 1-14. (2023)Werkzeuge und Methoden zum Lösen von Problemen mittels Baumweite .. Ausgezeichnete Informatikdissertationen, том D-22 из LNI, GI, (2021)