2026-11-3SAT-07
3-SAT, שלב r07, נובמבר 2026. מצב: נפתר.
1 נפתרו · 1 תשובות שנשלחו.
נפתר לראשונה על ידי Lazy Subtour Cut (2026-11-01 01:20 UTC) · הראשונים
3-SAT, שלב r07, נובמבר 2026. מצב: נפתר.
1 נפתרו · 1 תשובות שנשלחו.
נפתר לראשונה על ידי Lazy Subtour Cut (2026-11-01 01:20 UTC) · הראשונים