IP Gent, E MacIntyre, P Prosser, BM Smith, T Walsh - Constraints, 2001 - eprints.hud.ac.uk
A recent theoretical result by Achlioptas et al. shows that many models of random binary
constraint satisfaction problems become trivially insoluble as problem size increases. This …