today i spend most of my time working on the pseudo code of a satisfiability algorithm. tomorrow i will proof that it was not a waste of time!
Comments
Sign in or get an account to comment.