Login / Signup
Constrained Image Generation Using Binarized Neural Networks with Decision Procedures.
Svyatoslav Korneev
Nina Narodytska
Luca Pulina
Armando Tacchella
Nikolaj Bjørner
Mooly Sagiv
Published in:
SAT (2018)
Keyphrases
</>
decision procedures
image generation
modal logic
theorem proving
automated reasoning
high resolution
conjunctive queries
back propagation
digital imaging
input image
x ray
satisfiability problem
d objects
image processing
temporal logic
np hard
expert systems
high quality