( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Contraction Tree SAT Encoding for Computing Twin-Width.

, , , , , , , и . PAKDD (2), том 14646 из Lecture Notes in Computer Science, стр. 444-456. Springer, (2024)

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.

Tobias Friedrich

Friedrich Tobias

Tobias Friedrich

Tobias Friedrich

Tobias Friedrich

 

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

Routing for on-street parking search using probabilistic data., , , , , , , и . AI Commun., 32 (2): 113-124 (2019)Polymer dynamics via cliques: New conditions for approximations., , , и . Theor. Comput. Sci., (2023)A simple statistic for determining the dimensionality of complex networks., , , и . CoRR, (2023)The Impact of Heterogeneity and Geometry on the Proof Complexity of Random Satisfiability., , , , и . CoRR, (2020)The Impact of Cooperation in Bilateral Network Creation., , , и . CoRR, (2022)Sustainable On-Street Parking Mapping with Deep Learning and Airborne Imagery., , , , и . IDEAL, том 14404 из Lecture Notes in Computer Science, стр. 209-221. Springer, (2023)Zeros and approximations of Holant polynomials on the complex plane., , , , и . CoRR, (2019)Non-Monotone Submodular Maximization with Multiple Knapsacks in Static and Dynamic Settings., , , , , и . ECAI, том 325 из Frontiers in Artificial Intelligence and Applications, стр. 435-442. IOS Press, (2020)Selfish Creation of Social Networks., , , , и . AAAI, стр. 5185-5193. AAAI Press, (2021)Greedy Maximization of Functions with Bounded Curvature under Partition Matroid Constraints., , , , и . AAAI, стр. 2272-2279. AAAI Press, (2019)