Nội dung được dịch bởi AI, chỉ mang tính chất tham khảo
Triết lý của thử thách MiniZinc
Tóm tắt
MiniZinc xuất hiện như một phản hồi đối với cuộc thảo luận kéo dài tại CP2006 về nhu cầu cần có một ngôn ngữ mô hình chuẩn cho lập trình ràng buộc (CP). Đây là một vấn đề thách thức, và chúng tôi tin rằng MiniZinc đã có những nỗ lực tốt trong việc xử lý chướng ngại vật rõ ràng nhất: có hàng trăm ràng buộc toàn cục tiềm năng, trong đó hầu hết chỉ được xử lý bởi một vài hoặc không có hệ thống nào. Một ngôn ngữ đầu vào chuẩn cho các bộ giải cho chúng tôi khả năng so sánh các bộ giải khác nhau. Do đó, hàng năm kể từ năm 2008, chúng tôi đã tổ chức Thử thách MiniZinc để so sánh các bộ giải khác nhau hỗ trợ MiniZinc. Trong báo cáo này, chúng tôi sẽ thảo luận về triết lý đứng sau thử thách, lý do chúng tôi thực hiện nó, cách mà chúng tôi thực hiện, và lý do tại sao chúng tôi lại thực hiện theo cách đó.
Từ khóa
#MiniZinc #lập trình ràng buộc #ngôn ngữ mô hình #so sánh bộ giảiTài liệu tham khảo
Apt, K., & Wallace, M. (2007). Constraint logic programming using ECLiPSe. Cambridge: Cambridge University Press.
Fourth international CSP solver competition (2009). http://www.cril.univ-artois.fr/CPAI09/.
Huang, J. (2008). Universal booleanization of constraint models. In P. Stuckey (Ed.), 14th int. conf. on principles and practice of constraint programming (CP’08), LNCS (Vol. 5202, pp. 144–158). Heidelberg: Springer.
JaCoP Java Constraint Programming Solver (2010). http://jacop.osolpro.com/.
Minizinc challenge (2009). http://www.g12.csse.unimelb.edu.au/minizinc/challenge2009/challenge.html.
Minizinc + Flatzinc (2010). http://www.g12.csse.unimelb.edu.au/minizinc/.
Nethercote, N., Stuckey, P., Becket, R., Brand, S., Duck, G., & Tack, G. (2007). Minizinc: Towards a standard CP modelling language. In C. Bessiere (Ed.), Proceedings of the 13th international conference on principles and practice of constraint programming, LNCS (Vol. 4741, pp. 529–543). Heidelberg: Springer.
SCIP (2010). Solving constraint integer programs. http://scip.zib.de/scip.shtml.
Schulte, C., Lagerkvist, M., & Tack, G. (2010). Gecode. http://www.gecode.org/.
SICStus Prolog (2010). http://www.sics.se/sisctus/.
Simonis, H. (2009). A hybrid constraint model fo the routing and wavelength assignment problem. In I. Gent (Ed.), Proceedings of the 15th international conference on principles and practice of constraint programming, LNCS (Vol. 5732, pp. 104–118). Heidelberg: Springer.
Smith, B., & Gent, I. (2005). Constraint modelling challenge 2005. www.cs.st-andrews.ac.uk/~ipg/challenge/.
Third international CSP solver competition (2008). http://www.cril.univ-artois.fr/CPAI08/.
Van Gelder, A., Le Berre, D., Biere, A., Kullmann, O., & Simon, L. (2005). Purse-based scoring for comparison of exponential-time programs. http://users.soe.ucsc.edu/~avg/purse-poster.pdf.
XCSP 2.1 (2008). http://www.cril.univ-artois.fr/CPAI08/XCSP2_1.pdf.