← back to paper

Review history

arxiv: 2406.14190 · 2 revisions

Extended Resolution Clause Learning via Dual Implication Points

1. 2026-05-25 UNVERDICTED LOW v0.9.0 novelty 7.0
   43574 ms 5742 in 1237 out 2026-05-25T08:56:50.724417+00:00
2. 2026-05-24 CONDITIONAL LOW v0.9.0 novelty 7.0
   22850 ms 5742 in 1059 out 2026-05-24T00:27:27.539389+00:00