12 citations · 27 across the 15 of their papers we have counts for
Showing 2012 · cs.DMShow all
2 papers · 2 filters
cs.DM2012
Frozen variables in random boolean constraint satisfaction problems
Michael Molloy, Ricardo Restrepo
We determine the exact freezing threshold, r^f, for a family of models of random boolean constraint satisfaction problems, including NAE-SAT and hypergraph 2-colouring, when the co…
cs.DM2012
The Satisfiability Threshold for a Seemingly Intractable Random Constraint Satisfaction Problem
Harold Connamacher, Michael Molloy
We determine the exact threshold of satisfiability for random instances of a particular NP-complete constraint satisfaction problem (CSP). This is the first random CSP model for wh…