TY  - RPRT
TI  - Formal Verification of Romanov's Triplet Logic: A Verified Filter for Sliding-window 3-CNF with Application to Structured Formulas
AU  - Dmitry V. Alexandrov
PY  - 2026
UR  - https://arxiv.org/abs/2608.18445
ID  - 2608.18445
ER  -