- Mon 20 May 2013
- Project
Research in Unique Satisfiability
Glen BWork 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 …