Cách trích dẫn OR-Tools và trình giải toán

OR-Tools là một bộ giải pháp của Google (CP-SAT, GLOP, PDLP) và giao diện độc lập với trình giải có thể dùng để gọi vô số nguồn mở và các trình giải quyết dữ liệu thương mại.

Cách trích dẫn trình giải CP-SAT hoặc phần phụ trợ Flatzinc

Bất kỳ ấn bản nào đề cập đến trình giải quyết CP-SAT, trực tiếp hoặc thông qua trình bao bọc trình giải toán tuyến tính (với thẻ SAT_INTEGER_programMING) hoặc phẳng chương trình phụ trợ, nên trích dẫn như sau, cập nhật số phiên bản cho phù hợp:

OR-Tools CP-SAT phiên bản 9.10. Laurent Perron và Frédéric Didier. https://developers.google.com/optimization/cp/cp_solver.

BibTeX:

@software{cpsatlp,
  title = {CP-SAT},
  version = { v9.10 },
  author = {Laurent Perron and Frédéric Didier},
  organization = {Google},
  url = {https://developers.google.com/optimization/cp/cp_solver/},
  date = { 2024-05-07 }
}

Video sau đây của lớp học chuyên sâu CPAIOR 2020 về Lập trình ràng buộc cũng có thể dùng làm tài liệu tham khảo:

BibTeX:

@misc{cpsatlp_cpaior_masterclass,
  title={CPAIOR 2020 Master Class: Constraint Programming},
  url={https://youtu.be/lmy1ddn4cyw},
  journal={CPAIOR},
  author={CPAIOR},
  year={2020},
  month={Sept.},
}

Bản tóm tắt sau đây đề cập đến phiên họp toàn thể tại CP2023 hội nghị ở Toronto:

BibTeX:

@InProceedings{perron_et_al:LIPIcs.CP.2023.3,
  author =  {Perron, Laurent and Didier, Fr\'{e}d\'{e}ric and Gay, Steven},
  title =   {The CP-SAT-LP Solver},
  booktitle =   {29th International Conference on Principles and Practice of Constraint Programming (CP 2023)},
  pages =   {3:1--3:2},
  series =  {Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =    {978-3-95977-300-3},
  ISSN =    {1868-8969},
  year =    {2023},
  volume =  {280},
  editor =  {Yap, Roland H. C.},
  publisher =   {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address = {Dagstuhl, Germany},
  URL =     {https://drops.dagstuhl.de/opus/volltexte/2023/19040},
  URN =     {urn:nbn:de:0030-drops-190405},
  doi =     {10.4230/LIPIcs.CP.2023.3},
  annote =  {Keywords: Constraint Programming, Operations Research, Sat Solver}
}

Cách trích dẫn thư viện định tuyến

Mọi ấn bản đề cập đến thư viện định tuyến OR-Tools đều phải trích dẫn là sau đây, cập nhật số phiên bản cho phù hợp:

Thư viện định tuyến OR-Tools phiên bản 9.10. Vincent Furnon và Laurent Perron. https://developers.google.com/optimization/routing/.

BibTeX:

@software{ortools_routing,
  title = {OR-Tools Routing Library},
  version = { v9.10 },
  author = {Vincent Furnon and Laurent Perron},
  organization = {Google},
  url = {https://developers.google.com/optimization/routing/},
  date = { 2024-05-07 }
}

Cách trích dẫn bộ công cụ OR

Mọi ấn bản đề cập đến công cụ OR-Tools đều phải trích dẫn như sau, cập nhật số phiên bản cho phù hợp:

OR-Tools phiên bản 9.10. Laurent Perron và Vincent Furnon. https://developers.google.com/optimization/.

BibTeX:

@software{ortools,
  title = {OR-Tools},
  version = { v9.10 },
  author = {Laurent Perron and Vincent Furnon},
  organization = {Google},
  url = {https://developers.google.com/optimization/},
  date = { 2024-05-07 }
}