Bryan Hooi Kuen-Yew

Publication Activity (10 Years)

Years Active: 2022-2022
Publications (10 Years): 2

Top Topics

Satisfiability Problem

Top Venues

ECCV Workshops (1)

Publications

Adrien Benamira, Thomas Peyrin, Bryan Hooi Kuen-Yew
Truth-Table Net: A New Convolutional Architecture Encodable By Design Into SAT Formulas. CoRR (2022)
Adrien Benamira, Thomas Peyrin, Bryan Hooi Kuen-Yew
Truth-Table Net: A New Convolutional Architecture Encodable by Design into SAT Formulas. ECCV Workshops (1) (2022)