Added ExactAlgorithm (first version)