RealFeedApp SAT-ACT lernt Verzweigung aus Ergebnispräferenzen
SAT-ACT extrahiert Präferenzen für Verzweigungsentscheidungen in CDCL-Solvern aus Ergebnisvergleichen. Das System nutzt drei Kriterien, um aus Rollouts am gleichen Solverzustand Handlungsvorlieben zu gewinnen.
#sat solving#cdcl#branching#reinforcement learning#sat-act
