@vzn Hey!

Thanks for the urls, i read something about memcomputing sometime ago, but this is really helpful, thanks!

Have been a while, i've been actively engaged in SAT research, applied many ideas/algorithms, and they were all exp. ofcourse. So many perspectives to look at SAT, it's really interesting. SAT is defintely more than DPLL and local-search.