Learning Local Search Heuristics for Boolean Satisfiability 2020-04-30

Learning Local Search Heuristics for Boolean Satisfiabilitynode Abstract GNN (select variable) + local search algorithm. RL,初始X,GNN结合sofetmax做为policy 函数,选择p最大的variable翻转,每一个Trajectory有一个reward(找到使得fai
相关文章
相关标签/搜索