Defect polytopes and counter-examples with polymake.

Michael Joswig Andreas Paffenholz

Published in: ACM Commun. Comput. Algebra (2011)

Keyphrases

counter examples
convex hull
defect detection
lattice points
logic programs
answer sets
packing problem
genetic algorithm
learning algorithm
data structure
cooperative
extreme points