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

Benamira et al. "Truth-Table Net: A New Convolutional Architecture Encodable by Design into SAT Formulas." European Conference on Computer Vision Workshops, 2022. doi:10.1007/978-3-031-25056-9_31

[Benamira et al. "Truth-Table Net: A New Convolutional Architecture Encodable by Design into SAT Formulas." European Conference on Computer Vision Workshops, 2022.](https://mlanthology.org/eccvw/2022/benamira2022eccvw-truthtable/) doi:10.1007/978-3-031-25056-9_31

@inproceedings{benamira2022eccvw-truthtable,
  title     = {{Truth-Table Net: A New Convolutional Architecture Encodable by Design into SAT Formulas}},
  author    = {Benamira, Adrien and Peyrin, Thomas and Kuen-Yew, Bryan Hooi},
  booktitle = {European Conference on Computer Vision Workshops},
  year      = {2022},
  pages     = {483-500},
  doi       = {10.1007/978-3-031-25056-9_31},
  url       = {https://mlanthology.org/eccvw/2022/benamira2022eccvw-truthtable/}
}