Svyatoslav Korneev

Identifiers

No identifiers captured yet.

Papers (1)

1. Constrained Image Generation Using Binarized Neural Networks with Decision Procedures cs.CV · 2018 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Armando Tacchella 1 shared papers
• Luca Pulina 1 shared papers
• Mooly Sagiv 1 shared papers
• Nikolaj Bjorner 1 shared papers
• Nina Narodytska 1 shared papers