Modern CDCL SAT solvers easily solve industrial instances containing ten...
We present the Battlesnake Challenge, a framework for multi-agent
reinfo...
Object detection remains an active area of research in the field of comp...
Offline handwriting recognition with deep neural networks is usually lim...