Some Results on Random Mixed SAT Problems

Andreas Basse-O'Connor, Tobias Lindhardt Overgaard, Mette Skjøtt

In this short paper we present a survey of some results concerning the random SAT problems. To elaborate, the Boolean Satisfiability (SAT) Problem refers to the problem of determin…