Author:
Mears Christopher,Schutt Andreas,Stuckey Peter J.,Tack Guido,Marriott Kim,Wallace Mark
Publisher
Springer International Publishing
Reference18 articles.
1. Beldiceanu, N., Carlsson, M., Demassey, S., Petit, T.: Global constraint catalogue: Past, present and future. Constraints 12(1), 21–62 (2007)
2. Bochvar, D., Bergmann, M.: On a three-valued logical calculus and its application to the analysis of the paradoxes of the classical extended functional calculus. History and Philosophy of Logic 2, 87–112 (1981)
3. Caballero, R., Stuckey, P.J., Tenoria-Fornes, A.: Finite type extensions in constraint programming. In: Schrijvers, T. (ed.) PPDP 2013, pp. 217–228. ACM Press (2013)
4. Castro, C., Manzano, S.: Variable and value ordering when solving balanced academic curriculum problems (2001),
http://arxiv.org/abs/cs/0110007
5. Lecture Notes in Computer Science;T. Feydy,2009
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Enumerated Types and Type Extensions for MiniZinc;Integration of Constraint Programming, Artificial Intelligence, and Operations Research;2022
2. Generating Random Logic Programs Using Constraint Programming;Lecture Notes in Computer Science;2020
3. MiniBrass: Soft constraints for MiniZinc;Constraints;2018-07-05
4. Two type extensions for the constraint modeling language MiniZinc;Science of Computer Programming;2015-11
5. Freight Train Threading with Different Algorithms;Integration of AI and OR Techniques in Constraint Programming;2015