TY  - RPRT
TI  - Two-Thread Coverage MCTS for SAT and XSAT
AU  - Marcel Crasmaru
PY  - 2026
UR  - https://arxiv.org/abs/2607.15834
ID  - 2607.15834
ER  -