Community-based 3-SAT Formulas with a Predefined Solution.

Yamin Hu Wenjian Luo Junteng Wang

Published in: CoRR (2019)

Keyphrases

closed form
search algorithm
linear equations
learning algorithm
optimal solution
orders of magnitude
search strategies