//-->
A polynomial-time algorithm for the tridiagonal and Hessenberg P-matrix linear complimentary problem
Gärtner, Bernd, (2012)
Combinatorial redundancy detection
Fukuda, Komei, (2018)