doubt in section 7.6
I was studying the section 7.6, about the DPLL and WalkSAT algorithms
and I had a doubt about how the random sentences used to plot the fig
7.18 were generated.Do anyone know what generator was used to do this?
Thanks a lot,