A solving strategy that applies the same solver to every problem
An abstract class that defines how to solve a problem
A solving strategy that chooses between VE, BP, and Gibbs based on a score of the elminiation order and determinism
A solving strategy that chooses between VE and BP based on a score of the elminiation order
A solving strategy that chooses between VE and Gibbs based on a score of the elminiation order