Barak-Pelleg, Dina

1 publications

IJCAI 2018 On the Satisfiability Threshold of Random Community-Structured SAT Dina Barak-Pelleg, Daniel Berend