Learning Local Search Heuristics for Boolean Satisfiability.

Emre Yolcu Barnabás Póczos

Published in: NeurIPS (2019)

Keyphrases

learning algorithm
objective function
evolutionary algorithm
constraint satisfaction
phase transition
boolean satisfiability