Author:
Gouveia Filipe,Monteiro Pedro T.,Manquinho Vasco,Lynce Inês
Publisher
Springer International Publishing
Reference24 articles.
1. Ansótegui, C., Manyà, F.: Mapping problems with finite-domain variables into problems with Boolean variables. In: International Conference on Theory and Applications of Satisfiability Testing, pp. 1–15 (2004)
2. Lecture Notes in Computer Science;G Audemard,2013
3. Lecture Notes in Computer Science;G Audemard,2014
4. Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press, Cambridge (2003)
5. Barták, R., Dovier, A., Zhou, N.F.: Multiple-origin-multiple-destination path finding with minimal arc usage: complexity and models. In: International Conference on Tools with Artificial Intelligence (ICTAI), pp. 91–97. IEEE (2016)