Incomplete algorithms, such as stochastic local search, are widely used for finding satisfying truth assignments to boolean formulas.
Incomplete algorithms, such as stochastic neighborhood search, are commonly employed to find valid truth assignments for boolean formulas.