Automated Discharging Arguments for Density Problems in Grids.

Published in: CoRR (2014)

Keyphrases

related problems
semi automated
data sets
problems involving
machine learning
multi agent systems
optimization problems
np complete
application domains