(Not that my LaTex formatting is anything to write home about!).
To clarify, the algorithm described in our paper doesn't reduce the size of the search space for logic programs- it sidesteps it.
Note I'm the corresponding author in the paper and my email is in the Springer version (top of the page). I'm always happy to answer questions about my work.
https://link.springer.com/article/10.1007/s10994-020-05945-w
But I recommend the arxiv version where Springer couldn't mess up my LaTex formatting:
https://arxiv.org/abs/2101.05050
(Not that my LaTex formatting is anything to write home about!).
To clarify, the algorithm described in our paper doesn't reduce the size of the search space for logic programs- it sidesteps it.
Note I'm the corresponding author in the paper and my email is in the Springer version (top of the page). I'm always happy to answer questions about my work.