איך לצטט את OR-Tools ואת הפתרונות לפתרון

OR-Tools הוא חבילה של פותרי Google (CP-SAT, GLOP, PDLP) ממשק בלתי תלוי-מפענח, שיכול לשמש לקריאה למספר רב של קוד פתוח ופתרונות מסחריים.

איך לצטט את פותר ה-CP-SAT או את הקצה העורפי של Flatzinc

כל פרסום שמתייחס לפותר ה-CP-SAT, באופן ישיר או דרך ה-wrapper של הפותר הלינארי (עם התג SAT_INTEGER_programMING) או ה-flatzinc את הקצה העורפי, צריך לצטט אותו באופן הבא, ולעדכן את מספר הגרסה לפי הצורך:

OR-Tools CP-SAT v9.10. לורנט פרון ופרדריק דידייה. 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 }
}

הסרטון הבא של כיתת האומן בתוכנית CPAIOR 2020 בנושא תכנות מגבלות יכול לשמש גם כחומר עזר:

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

התקציר הבא מתייחס לסשן הבא שניתן ב-CP2023. שיחת ועידה בטורונטו:

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

איך לצטט את ספריית הניתוב

כל פרסום המפנה לספריית הניתוב של כלי OR צריך לצטט אותה בתור מתבצע עדכון של מספר הגרסה לפי הצורך:

ספריית הניתוב של OR-Tools גרסה 9.10. וינסנט פורנון ולורן פרון. 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 }
}

איך לצטט את חבילת כלי ה-OR

כל פרסום המפנה ל-OR-Tools צריך לצטט אותו באופן הבא, ולעדכן את מספר גרסה לפי הצורך:

OR-Tools גרסה 9.10. לורן פרון וינסנט פורנון. 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 }
}