concepts.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:
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