As far as I know, there’s still no non-trivial formalization of the baby-kissing problem (aka Smoking Lesion). I’d be happy to be proved wrong on that.
As far as I know, there’s still no non-trivial formalization of the baby-kissing problem (aka Smoking Lesion). I’d be happy to be proved wrong on that.