TY  - RPRT
TI  - Combinatorial Redundancy Detection
AU  - Komei Fukuda
AU  - Bernd Gärtner
AU  - May Szedlák
PY  - 2014
UR  - https://arxiv.org/abs/1412.1241
ID  - 1412.1241
ER  -