In Search for a SAT-friendly Binarized Neural Network Architecture.

Nina Narodytska Hongce Zhang Aarti Gupta Toby Walsh

Published in: ICLR (2020)

Keyphrases

search algorithm
search strategies
search strategy
satisfiability problem
search queries
search space
search problems
stochastic local search
branch and bound algorithm
max sat
backtracking search