ResearchBenchmarksRepair-aware Decision Making on Synthetic-MAXSATFollow100FVRNoRepair-4235077Jun 1, 2026Evaluation ResultsMethodMethodLinksFVREDRCreditAccPlan ScoreNoRepairStyle=HASSLE-styleStyle=HASSLE-style2026.061002.11121—BlackBox2026.0601.65821—RACLoperating point=selectedoperating point=selected2026.0600.021001