Greedy maximization of functions with bounded curvature under partition matroid constraints T Friedrich, A Göbel, F Neumann, F Quinzan, R Rothenberger Proceedings of the AAAI Conference on Artificial Intelligence 33 (01), 2272-2279, 2019 | 39 | 2019 |
Phase transitions for scale-free SAT formulas T Friedrich, A Krohmer, R Rothenberger, A Sutton Proceedings of the AAAI Conference on Artificial Intelligence 31 (1), 2017 | 25 | 2017 |
Bounds on the satisfiability threshold for power law distributed random SAT T Friedrich, A Krohmer, R Rothenberger, T Sauerwald, AM Sutton arXiv preprint arXiv:1706.08431, 2017 | 15 | 2017 |
Probabilistic routing for on-street parking search T Arndt, D Hafner, T Kellermeier, S Krogmann, A Razmjou, MS Krejca, ... 24th annual European symposium on algorithms (ESA 2016), 2016 | 11 | 2016 |
Mixed integer programming versus evolutionary computation for optimizing a hard real-world staff assignment problem J Peters, D Stephan, I Amon, H Gawendowicz, J Lischeid, L Salabarria, ... Proceedings of the international conference on automated planning and …, 2019 | 10 | 2019 |
Routing for on-street parking search using probabilistic data T Friedrich, MS Krejca, R Rothenberger, T Arndt, D Hafner, T Kellermeier, ... AI Communications 32 (2), 113-124, 2019 | 10 | 2019 |
Sharpness of the Satisfiability Threshold for Non-uniform Random k-SAT T Friedrich, R Rothenberger Theory and Applications of Satisfiability Testing–SAT 2018: 21st …, 2018 | 9 | 2018 |
The impact of heterogeneity and geometry on the proof complexity of random satisfiability T Bläsius, T Friedrich, A Göbel, J Levy, R Rothenberger Random Structures & Algorithms 63 (4), 885-941, 2023 | 8 | 2023 |
The satisfiability threshold for non-uniform random 2-SAT T Friedrich, R Rothenberger arXiv preprint arXiv:1904.02027, 2019 | 6 | 2019 |
Greed is good for deterministic scale-free networks A Chauhan, T Friedrich, R Rothenberger Algorithmica 82 (11), 3338-3389, 2020 | 5 | 2020 |
Evolutionary Diversity Optimisation in Constructing Satisfying Assignments A Nikfarjam, R Rothenberger, F Neumann, T Friedrich Proceedings of the Genetic and Evolutionary Computation Conference, 938-945, 2023 | 3 | 2023 |
Memory-restricted routing with tiled map data T Blsius, J Eube, T Feldtkeller, T Friedrich, MS Krejca, JAG Lagodzinski, ... 2018 IEEE International Conference on Systems, Man, and Cybernetics (SMC …, 2018 | 1 | 2018 |
Satisfiability thresholds for non-uniform random k-SAT R Rothenberger Universität Potsdam, 2022 | | 2022 |
Solving Non-uniform Planted and Filtered Random SAT Formulas Greedily T Friedrich, F Neumann, R Rothenberger, AM Sutton International Conference on Theory and Applications of Satisfiability …, 2021 | | 2021 |
HPI Future SOC Lab–Proceedings 2017 S Zhang, M Plauth, F Eberhardt, A Polze, J Lehmann, G Sejdiu, H Jabeen, ... | | 2020 |
The Structure of Industrial SAT Instances Comparing SLS and Backtracking Solvers T Friedrich, R Rothenberger, AM Sutton HPI Future SOC Lab 2017, 53-58, 2019 | | 2019 |
Technical Report: Fall Retreat 2018 C Adriano, T Bleifuß, LP Cheng, K Diba, A Fricke, A Grapentin, R Kovacs, ... Universitätsverlag Potsdam, 2019 | | 2019 |
HPI Future SOC Lab: Proceedings 2017 F Bär, AY Barrera-Animas, A Baumann, F Cheng, Y Choudhary, T Cooray, ... Universitätsverlag Potsdam, 2019 | | 2019 |
2 Hardness of scale-free formulas T Friedrich, R Rothenberger, AM Sutton HPI Future SOC Lab: Proceedings 2017 130, 141, 2019 | | 2019 |
Power-Law Distributions in Random Satisfiability R Rothenberger Technical Report: Fall Retreat 2018 129, 217, 2019 | | 2019 |