Constrained Image Generation Using Binarized Neural Networks with Decision Procedures
SAT, pp. 438-449, 2018.
We consider the problem of binary image generation with given properties. This problem arises in a number of practical applications, including generation of artificial porous medium for an electrode of lithium-ion batteries, for composed materials, etc. A generated image represents a porous medium and, as such, it is subject to two sets o...More
Full Text (Upload PDF)
PPT (Upload PPT)