Picture for Bryan Hooi Kuen-Yew

Bryan Hooi Kuen-Yew

Truth-Table Net: A New Convolutional Architecture Encodable By Design Into SAT Formulas

Add code
Aug 18, 2022
Figure 1 for Truth-Table Net: A New Convolutional Architecture Encodable By Design Into SAT Formulas
Figure 2 for Truth-Table Net: A New Convolutional Architecture Encodable By Design Into SAT Formulas
Figure 3 for Truth-Table Net: A New Convolutional Architecture Encodable By Design Into SAT Formulas
Figure 4 for Truth-Table Net: A New Convolutional Architecture Encodable By Design Into SAT Formulas
Viaarxiv icon