Принципы работы системы поощрений в ресторанах
09.07.2023 —
Элизиум
Феерическое
thesz — 21.07.2023
https://github.com/berkeley-abc/abc/tree/master/src/optОчень редко наблюдал сходное, со времён Numerical Recipes, практически. Выше уровнем тоже весело, но накал сокращений не столь высок.
Правда, когда заходишь внутрь, там вполне понятные исходники.
Сама система это прямое применение насыщения равенствами к оптимизации логики, выраженной в виде AND-Inverter Graphs (AIG), графов из Логических И с инверсиями.
2010 год, сразу после статьи про equality saturation.
Видимо, всё это там носилось в воздухе.
Сохранено
|
|
</> |
Оставить комментарий
Популярные посты:
Предыдущие записи блогера :
Архив записей в блогах:
Три позиции в теизме по отношению к вере, с точки зрения рацио: - наивная средневековая позиция: вера доказуема; - фидеизм (в т.ч. алогизм): принципиальная нестыковка веры и разума, причём примат принадлежит вере; Монтень, Паскаль, Кьеркегор. - нечто среднее, без крайностей первого и ...
Произошёл крупный пожар. Нам, народу, рассказывают что ничего страшного. Президент РФ Дмитрий Медведев проводит экстренное совещание Совета Безопасности! Совещание было посвящено сложной ситуации, сложившейся на авиабазе в Подмосковье, на ...
Самый лучший способ затормозить развитие страны — организовать там классическую, полноценную демократию. Чтобы власть контролировал не один неоспоримый лидер нации, а два или более примерно равных по силе противника. Чтобы была настоящая, ...
есть 6-месячный шенген. испанский. в ноябре мне нужно быть в Австрии. нужно ли туда ехать через Испанию? или можно съездить в Вену. а потом, в период действия визы, все ж такие отметиться в стране, любезно выдавшей ...
Давно я что-то бестиарий не пополняла, а тут как раз и кандидат нарисовался, аккурат к женскому празднику. Вона, бачьте, яка прэлэсть к Инессе прискакала , не то поручик Ржевский, не то прынц на белом коне. То есть это юноша мнит себя поручиком и прынцем, а на самом деле он кентавр. ...
