Author:
Pham Tu-San,Devriendt Jo,De Causmaecker Patrick
Publisher
Springer International Publishing
Reference13 articles.
1. Björdal, G., Flener, P., Pearson, J., Stuckey, P.J., Tack, G.: Declarative local-search neighbourhoods in MiniZinc. In: Tsoukalas, L.H., Grégoire, É., Alamaniotis, M. (eds.) IEEE 30th International Conference on Tools with Artificial Intelligence, ICTAI 2018, 5–7 November 2018, Volos, Greece, pp. 98–105. IEEE (2018).
https://doi.org/10.1109/ICTAI.2018.00025
2. De Cat, B., Bogaerts, B., Bruynooghe, M., Janssens, G., Denecker, M.: Predicate logic as a modeling language: the IDP system. In: Declarative Logic Programming, pp. 279–323. Association for Computing Machinery and Morgan & Claypool (2018)
3. De Cat, B., Bogaerts, B., Devriendt, J., Denecker, M.: Model expansion in the presence of function symbols using constraint programming. In: 25th International Conference on Tools with Artificial Intelligence, 4–6 November 2013, USA, pp. 1068–1075 (2013)
4. Devriendt, J.: Exploiting symmetry in model expansion for predicate and propositional logic. Ph.D. thesis, Informatics Section, Department of Computer Science, Faculty of Engineering Science, February 2017
5. Devriendt, J., De Causmaecker, P., Denecker, M.: Transforming constraint programs to input for local search. In: The Fourteenth International Workshop on Constraint Modelling and Reformulation, pp. 1–16 (2015)