基礎優化嵌入

Forge

將Forge基礎優化嵌入從MIP轉移至SAT：無監督預訓練與跨域表徵評估

研究團隊檢視了為混合整數規劃（MIP）設計的基礎優化嵌入是否能延伸到決策問題——布林可滿足性（SAT）。透過把CNF公式編碼為二分制約—變數圖，直接重用Forge預訓練權重或以SAT專屬節點特徵替換，作者比較了三種變體（Forge-Mip、Forge-Mip-Sat、Forge-Sat）。