The (symbolic and numeric) computational challenges of counting 0-1 balanced matrices - Robert Dougherty-Bliss; Christoph Koutschan; Natalya Ter-Saakov; Doron Zeilberger (Enumerative Combinatorics and Applications)