#CP-SAT

3 статьи
arXiv AI
arXiv AI

СТАБ: Испытание на наличие алгоритмических узких мест с учетом технических требований

arXiv: 2605.27981v2 Вид уведомления: заменить резюме: оценка эффективности алгоритмического кода требует опытных образцов, которые выявляют узкие места во времени работы. Предыдущие методы создают про...

arXiv AI
3
Читать
Спецтехника по объектам. При чем тут комбинаторика? Хабр
Хабр

Спецтехника по объектам. При чем тут комбинаторика?

Краны, экскаваторы, самосвалы, погрузчики — достаточно редко увидишь такую технику на дорогах общего пользования. Эта техника не ездит по расписанию, а «скачет» между объектами в окрестностях города. ...

Хабр
CP-SAT OR-Tools против Excel: решаем задачу оптимизации офисного пространства Хабр
Хабр

CP-SAT OR-Tools против Excel: решаем задачу оптимизации офисного пространства

Несколько раз в год отдел оптимизации офисного пространства Альфа‑Банка думает над тем, как разместить сотрудников бэк‑офиса по локациям на несколько лет вперёд. Раньше ребята делали это вручную: было...

Хабр