An Encoding for CLP Problems in SMT-LIB.

Daneshvar Amrollahi Hossein Hojjat Philipp Rümmer

Published in: CoRR (2024)

Keyphrases

data sets
database
np complete
decision problems
machine translation
constraint programming
benchmark problems
solving problems
practical problems