← back to paper

Review history

arxiv: 2605.14093 · 2 revisions

New Algorithms for Parity-SAT and Its Bounded-Occurrence Versions

1. 2026-05-19 UNVERDICTED LOW v0.9.0 novelty 8.0
   76002 ms 5885 in 1380 out 2026-05-19T17:27:53.985735+00:00
2. 2026-05-15 UNVERDICTED LOW v0.9.0 novelty 7.0
   59640 ms 5656 in 1257 out 2026-05-15T02:02:37.540963+00:00