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

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

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

Mọi ấn bản tham chiếu đến trình giải CP-SAT, trực tiếp hoặc thông qua trình bao bọc trình giải tuyến tính (có thẻ SAT_INTEGER_PROGRAMMING) hoặc phần phụ trợ phẳng, phải trích dẫn như sau và cập nhật số phiên bản cho phù hợp:

OR-Tools CP-SAT v9.9. Laurent Perron và Frédéric Didier. https://developers.google.com/optimization/cp/cp_solver.

BibTeX:

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

Bạn cũng có thể tham khảo video sau đây của lớp học chuyên sâu CPAIOR 2020 về Lập trình ràng buộc:

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.},
}

Nội dung tóm tắt sau đây đề cập đến phiên toàn thể được đưa ra tại hội nghị CP2023 ở 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 tham chiếu đến thư viện định tuyến OR-Tools đều phải trích dẫn như sau và cập nhật số phiên bản sao cho phù hợp:

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

BibTeX:

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

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

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

Công cụ OR phiên bản 9.9. Laurent Perron và Vincent Furnon. https://developers.google.com/optimization/.

BibTeX:

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