Repository navigation

Fix #1102: [Rule] MaxCut/One to Maximum2Satisfiability - #1227

Open

isPANN wants to merge 2 commits into

mainfrom

issue-1102-maxcut-max2sat

Open

Fix #1102: [Rule] MaxCut/One to Maximum2Satisfiability#1227
isPANN wants to merge 2 commits into
mainfrom
issue-1102-maxcut-max2sat

Commits on Nov 2, 2026
- Add MaxCut/One to Maximum2Satisfiability reduction
  
  isPANN
  and
  claude
  committed
  a42018b
- Extend identity test to all graphs with n <= 5; add paper entry marker
  
  isPANN
  and
  claude
  committed
  a919268