Truth-Table Net: A New Convolutional Architecture Encodable by Design into SAT Formulas.

Adrien Benamira, Thomas Peyrin, Bryan Hooi Kuen-Yew

Browse the full ECCV paper archive.