https://en.wikipedia.org/wiki/Anytime_algorithm
love this. we made up a property of an algorithm. wouldn't it be so great if this existed?
5
Replies
0
Boosts
Seems like a very silly way to describe an estimate.
They are important because artificial intelligence or AI algorithms can take a long time to complete results.Oh.
@cy artificial intelligence or AI. the two genders
@hipsterelectron Iterative optimization like?
@nobody the spack concretizer can sometimes do this because we formulate the logic program as an optimization to minimize error facts. genius idea from greg becker https://www.youtube.com/watch?v=z0AB4g2KDX8
@nobody we print a warning if we cut out from a valid but suboptimal result before the time limit
