EasyChair Smart SlideDocs/Log in
Author: Luca Pulina

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

QBFEVAL’18

QBFEVAL’18

Luca Pulina and Martina Seidl

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: 2
Copyright © 2002 – 2024 EasyChair