XOR-Satisfiability Set Membership Filters.

Sean A. Weaver Hannah J. Roberts Michael J. Smith

Published in: SAT (2018)

Keyphrases

computational complexity
neural network
probability distribution
small number