Counting balanced sequencesw/o forbidden patterns via the betheapproximation and loop calculus | IEEE Conference Publication | IEEE Xplore