Rothenberger, Ralf

3 publications

AAAI 2019 Greedy Maximization of Functions with Bounded Curvature Under Partition Matroid Constraints Tobias Friedrich, Andreas Göbel, Frank Neumann, Francesco Quinzan, Ralf Rothenberger

IJCAI 2019 Sharpness of the Satisfiability Threshold for Non-Uniform Random K-SAT Tobias Friedrich, Ralf Rothenberger

AAAI 2017 Phase Transitions for Scale-Free SAT Formulas Tobias Friedrich, Anton Krohmer, Ralf Rothenberger, Andrew M. Sutton