In particular , creating the constraints on separators can be done using variable elimination , which is a form of inference , while subproblems can be solved by search ( backtracking , etc . )
Different strategies can be used for these two operations .
Creating the constraints on separators can be done using variable elimination , which is a form of inference , while subproblems can be solved by search ( backtracking , etc . )
Different strategies can be used for these two operations .