Broes de Cat, Bart Bogaerts, Jo Devriendt, Marc Denecker. Model Expansion in the Presence of Function Symbols Using Constraint Programming. In 2013 IEEE 25th International Conference on Tools with Artificial Intelligence, Herndon, VA, USA, November 4-6, 2013. pages 1068-1075, IEEE, 2013. [doi]
Abstract is missing.