TY  - RPRT
TI  - An Encoding for CLP Problems in SMT-LIB
AU  - Daneshvar Amrollahi
AU  - Hossein Hojjat
AU  - Philipp Rümmer
PY  - 2024
DO  - 10.4204/eptcs.402.12
UR  - https://arxiv.org/abs/2404.14924
ID  - 2404.14924
ER  -