Loading…
Loading…
Loading…
Loading…
Loading…
Loading…
Loading…
Constrained Image Generation Using Binarized Neural Networks with Decision Procedures
Korneev, Svyatoslav, Narodytska, Nina, Pulina, Luca, Tacchella, Armando, Bjorner, Nikolaj, Sagiv, Mooly
Year of Publication 23.02.2018
Year of Publication 23.02.2018
Get full text
Journal Article
Loading…
Loading…
Loading…
Loading…
Loading…
Loading…
Loading…
Loading…
Towards an Automatic Analysis of Web Service Security
Chevalier, Yannick, Lugiez, Denis, Rusinowitch, Michaël
Published in Frontiers of Combining Systems (2007)
Published in Frontiers of Combining Systems (2007)
Get full text
Book Chapter
Loading…
Tackling the DM Challenges with cDMN: A Tight Integration of DMN and Constraint Reasoning
VANDEVELDE, SIMON, AERTS, BRAM, VENNEKENS, JOOST
Published in Theory and practice of logic programming (01.05.2023)
Published in Theory and practice of logic programming (01.05.2023)
Get full text
Journal Article
Loading…