@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.
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.