Fast practical algorithms for the Boolean-product-witness-matrix problemAnshul GuptaPankaj Rohatgiet al.2000ISSAC 2000