Bounds on Thresholds Related to Maximum Satisfiability of Regular Random Formulas

Vishwambhar Rathi Erik Aurell Lars K. Rasmussen Mikael Skoglund

Published in: CoRR (2010)

Keyphrases

upper bound
maximum satisfiability
lower bound
constraint programming
randomly generated
horn clauses
boolean satisfiability