Login / Signup
Truth-Table Net: A New Convolutional Architecture Encodable By Design Into SAT Formulas.
Adrien Benamira
Thomas Peyrin
Bryan Hooi Kuen-Yew
Published in:
CoRR (2022)
Keyphrases
</>
truth table
decision trees
satisfiability problem