concepts.dm.crow.csp_solver.dpll_sampling.dpll_find_bool_variable

dpll_find_bool_variable(executor, constraints, assignments)

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:

• constraints (List[Constraint | GroupConstraint | None]) – the list of constraints.

• assignments (Dict[int, Assignment]) – the dictionary of assignments.

• executor (CrowExecutor)

Returns:

the variable that is not determined.

Return type:

int | None