Double description method revisited (1996)

by K Fukuda, A Prodon
Venue:Combinatorics and Computer Science