Constrained Image Generation Using Binarized Neural Networks with Decision Procedures.

Svyatoslav Korneev, Nina Narodytska, Luca Pulina, Armando Tacchella, Nikolaj S. Bjrner, Mooly Sagiv

Browse the full SAT paper archive.