Determining computational complexity from characteristic 'phase transitions'Rémi MonassonRiccardo Zecchinaet al.1999Nature
2 + p-SAT: Relation of typical-case complexity to the nature of the phase transitionRémi MonassonRiccardo Zecchinaet al.1999Random Structures and Algorithms