← back to paper

Review history

arxiv: 2605.03391 · 2 revisions

A Fast Model Counting Algorithm for Two-Variable Logic with Counting and Modulo Counting Quantifiers

1. 2026-05-07 UNVERDICTED LOW v0.9.0 novelty 8.0
   65874 ms 5621 in 1417 out 2026-05-07T13:42:13.929089+00:00
2. 2026-05-07 CONDITIONAL LOW v0.9.0 novelty 7.0
   30224 ms 5599 in 1258 out 2026-05-07T01:51:36.928846+00:00