TY  - RPRT
TI  - Lazy Reimplication in Chronological Backtracking
AU  - Robin Coutelier
AU  - Mathias Fleury
AU  - Laura Kovács
PY  - 2025
DO  - 10.4230/lipics.sat.2024.9
UR  - https://arxiv.org/abs/2501.07457
ID  - 2501.07457
ER  -