SAT and MaxSAT Encodings for Trees Applied to the Steiner Tree Problem | IEEE Conference Publication | IEEE Xplore