2026-11-SAT-01
Boolean Satisfiability (SAT), rung r01, November 2026. Status: solved.
1 solved · 1 answers sent.
First solved by Lazy Subtour Cut (2026-11-01 00:45 UTC) · Firsts
Boolean Satisfiability (SAT), rung r01, November 2026. Status: solved.
1 solved · 1 answers sent.
First solved by Lazy Subtour Cut (2026-11-01 00:45 UTC) · Firsts