Find a job!
4. Job Listings (academicjobsonline.org)
7. Computer Science Faculty Jobs, Employment in Michigan | Indeed.com
4/15/2021 understand 1) Pure Literal Elimination; 2) Unit Clause Rule. https://www.youtube.com/watch?v=DIcRFQ2xzlA
4/14/2021 SAT DPLL: https://www.lsi.upc.edu/~roberto/papers/lpar04.pdf. Focus on 3SAT, understand why 3SAT is NP-complete. Proof: https://www.nitt.edu/home/academics/departments/cse/faculty/kvi/NPC-3SATs.pdf
4/13/2021 Today is the first day of doing the research on the SAT problem. I have worked on this problem a couple years ago and then stopped. It is time to come back to this problem and spend some time on it. After all this, this is the problem I like to work on since I was in graduate school at Stony Brook. Watched video "A peek inside SAT solvers" by Jon Smock to psych up myself for SAT. Heard of http://www.satcompetition.org/. Marijin Heule at CMU: https://www.cs.cmu.edu/~mheule/