"SAT solvers" . "Variants of random walks" . "Satisfiability problems" . "Fifth Colvmn Records albums" . "Logical expressions" .