הכלי OR-Tools הוא חבילה של פתרונות Google (CP-SAT, GLOP ו-PDLP) וממשק בלתי תלוי בפותר הבעיות, שאפשר להשתמש בו כדי לקרוא למגוון רחב של פתרונות לבעיות קוד פתוח ומסחריות.
איך לצטט את הפתרון של CP-SAT או את הקצה העורפי של Flatzinc
כל אתר חדשות שמתייחס לפותר CP-SAT, באופן ישיר או דרך ה-wrapper של הפותר הלינארי (עם התג SAT_INTEGER_programMING) או על הקצה העורפי Flatzinc, צריך לצטט אותו באופן הבא ולעדכן את מספר הגרסה בהתאם:
OR-Tools CP-SAT v9.9. לורן פרון ופרדריק דידייה. 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 }
}
אפשר להיעזר גם בסרטון הבא של כיתת האומן של 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-Tools צריך לצטט אותו באופן הבא, ולעדכן את מספר הגרסה בהתאם:
OR-Tools ניתוב ספריית גרסה 9.9. וינסנט פורנון ולורן פרון. 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 }
}
איך לצטט את חבילת OR-Tools
כל אתר חדשות שמתייחס לכלי OR צריך לצטט אותו באופן הבא, ולעדכן את מספר הגרסה בהתאם:
OR-Tools גרסה 9.9. לורן פרון ווינסנט פורנון. 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 }
}