Loading ...
Sorry, an error occurred while loading the content.

doubt in section 7.6

Expand Messages
  • andreteves85
    Hi! 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
    Message 1 of 1 , Aug 24, 2006
    • 0 Attachment
      Hi!

      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,
      Andre Teves
    Your message has been successfully submitted and would be delivered to recipients shortly.