Find a job!
1. https://cra.org/
2. https://www.higheredjobs.com/
3. https://academicpositions.com/
4. Job Listings (academicjobsonline.org)
5. https://account.interfolio.com/login
6. https://www.indeed.com/q-Computer-Science-jobs.html?vjk=d0911b07006c623d
7. Computer Science Faculty Jobs, Employment in Michigan | Indeed.com
8.
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/
XLM