See also https://yabaitech.tokyo/techbookfest10/2020/12/20/techbookfest10.html. backtrack bcp 2wl ncb cdcl (clause learning) cdcl (clause deletion) vsids vsids (priority queue) evsids phase-saving luby-restart trail-reuse ccmin ccmin (full) simp lbd