Rothenberger, Ralf
35  results:
Search for persons X
?
2

Evolutionary Diversity Optimisation in ConstructingSatisfyi..:

, In: Proceedings of the Genetic and Evolutionary Computation Conference,
 
?
3

The Impact of Heterogeneity and Geometry on the Proof Compl..:

, In: Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms (SODA),
 
?
4

Solving Non-uniform Planted and Filtered Random SAT Formula..:

, In: Theory and Applications of Satisfiability Testing – SAT 2021; Lecture Notes in Computer Science,
 
?
5

The impact of heterogeneity and geometry on the proof compl..:

, In: Proceedings of the Thirty-Second Annual ACM-SIAM Symposium on Discrete Algorithms,
 
?
8

Satisfiability thresholds for non-uniform random k-SAT ; Er..:

Rothenberger, Ralf
https://publishup.uni-potsdam.de/frontdoor/index/index/docId/54970.  , 2022
 
?
13

Technical report:

Adriano, Christian ; Bleifuß, Tobias ; Cheng, Lung-Pan...
https://publishup.uni-potsdam.de/frontdoor/index/index/docId/42753.  , 2019
 
1-15