EasyChair Smart SlideDocs/Log in
Author: Mooly Sagiv

This page shows all presentations of this author published in EasyChair Smart Slide.

Constrained Image Generation Using Binarized Neural Networks with Decision Procedures

Constrained Image Generation Using Binarized Neural Networks with Decision Procedures

Svyatoslav Korneev, Nina Narodytska, Luca Pulina, Armando Tacchella, Nikolaj Bjorner and Mooly Sagiv

Presentations in this collection: 1
Copyright © 2002 – 2024 EasyChair