concepts.dm.pdsketch.csp_solvers.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 (PDSketchExecutor)

Returns:

the variable that is not determined.

Return type:

int | None