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
相關文章
相關標籤/搜索