Ralf Rothenberger

Hasso Plattner Institute , University of Potsdam , Potsdam , Germany

1 paper in the IJCAI proceedings

IJCAI 2019

Sharpness of the Satisfiability Threshold for Non-Uniform Random k-SAT

with Tobias Friedrich

doi:10.24963/ijcai.2019/853

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings