concepts.dm.pdsketch.csp_solvers.dpll_sampling.dpll_find_bool_variable#

dpll_find_bool_variable(executor, constraints, assignments)[source]#

Find a Boolean variable that is not determined. As a heuristic, we will look for the variable that appear in the maximum number of constraints.

Parameters:
Returns:

the variable that is not determined.

Return type:

int | None