Glen Berseth

I am an assistant professor at the University de Montreal and Mila. My research explores how to use deep learning and reinforcement learning to develop generalist robots.

#USAT Articles


Research in Unique Satisfiability

Glen B

Work on analyzing at what ratio of variables to clauses do the most uniquely satisfiable formulas occur.

Abstract

This report is a study on the effects of clause to variable ratio when checking for the number of USAT cases in a large number of tests. In the paper ”Hard and …