Sunday, November 11, 2012

[notes] Random 3-SAT Notes

Had this in a notepad:




exhaustive generator:   maintain sorting


constraints:

#T's less than #

(x = y) or (x != y)

--> can be used to advance open list


what happens if we demorgan the whole expression?



----
ideas:


temporary roomates

long term...quit job to do:  kickstarter ?

should really try:  http://evernote.com/evernote/

No comments:

Post a Comment