Autor der Publikation

A Contraction Tree SAT Encoding for Computing Twin-Width.

, , , , , , , und . PAKDD (2), Volume 14646 von Lecture Notes in Computer Science, Seite 444-456. Springer, (2024)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

The Impact of Heterogeneity and Geometry on the Proof Complexity of Random Satisfiability., , , , und . CoRR, (2020)A simple statistic for determining the dimensionality of complex networks., , , und . CoRR, (2023)The Impact of Cooperation in Bilateral Network Creation., , , und . CoRR, (2022)Routing for on-street parking search using probabilistic data., , , , , , , und . AI Commun., 32 (2): 113-124 (2019)Sustainable On-Street Parking Mapping with Deep Learning and Airborne Imagery., , , , und . IDEAL, Volume 14404 von Lecture Notes in Computer Science, Seite 209-221. Springer, (2023)Selfish Creation of Social Networks., , , , und . AAAI, Seite 5185-5193. AAAI Press, (2021)Non-Monotone Submodular Maximization with Multiple Knapsacks in Static and Dynamic Settings., , , , , und . ECAI, Volume 325 von Frontiers in Artificial Intelligence and Applications, Seite 435-442. IOS Press, (2020)Greedy Maximization of Functions with Bounded Curvature under Partition Matroid Constraints., , , , und . AAAI, Seite 2272-2279. AAAI Press, (2019)Pareto Optimization for Subset Selection with Dynamic Cost Constraints., , , und . AAAI, Seite 2354-2361. AAAI Press, (2019)Applying Skeletons to Speed Up the Arc-Flags Routing Algorithm., , , , , , , , , und 2 andere Autor(en). ALENEX, Seite 110-122. SIAM, (2023)