Дошло-таки
https://scholarspace.manoa.hawaii.edu/server/api/core/bitstreams/8e872576-b70c-457d-a458-d260f21d66f3/content
"Logic Synthesis as an Efficient Means of Minimal Model Discovery from Multivariable Medical Datasets"
Если вы работаете с NP-полными или NP-сложными задачами (машобуч), то надо знать и про то, как с такими задачами справляются в других сферах. Логический синтез одна из таких областей, там всё NP-сложное, куда ни кинь, а прорабатывают её уже полвека, вложив труда много больше, чем в современный машобуч.
"Logic Synthesis as an Efficient Means of Minimal Model Discovery from Multivariable Medical Datasets"
Если вы работаете с NP-полными или NP-сложными задачами (машобуч), то надо знать и про то, как с такими задачами справляются в других сферах. Логический синтез одна из таких областей, там всё NP-сложное, куда ни кинь, а прорабатывают её уже полвека, вложив труда много больше, чем в современный машобуч.