AlleAlle: bounded relational model finding with unbounded data
Jouke Stoel, Tijs van der Storm, Jurgen J. Vinju · 2019
Relational model finding is a successful technique which has been used in a wide range of problems during the last decade. This success is partly due to the fact that many problems contain relational structures which can be explored using relational model finders. Although these model finders allow for the exploration of such structures they often struggle with incorporating the non-relational elements.