Nina Narodytska
Nina Narodytska
VMware Research
Bestätigte E-Mail-Adresse bei vmware.com - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Simple black-box adversarial perturbations for deep networks
N Narodytska, SP Kasiviswanathan
arXiv preprint arXiv:1612.06299, 2016
231*2016
Maximum satisfiability using core-guided MaxSAT resolution
N Narodytska, F Bacchus
Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014
1292014
Verifying properties of binarized deep neural networks
N Narodytska, SP Kasiviswanathan, L Ryzhyk, M Sagiv, T Walsh
arXiv preprint arXiv:1709.06662, 2017
962017
Complexity of and algorithms for Borda manipulation
J Davies, G Katsirelos, N Narodytska, T Walsh
arXiv preprint arXiv:1105.5667, 2011
902011
Circuit complexity and decompositions of global constraints
C Bessiere, G Katsirelos, N Narodytska, T Walsh
arXiv preprint arXiv:0905.3757, 2009
712009
Encodings of the Sequence Constraint
S Brand, N Narodytska, CG Quimper, P Stuckey, T Walsh
International conference on principles and practice of constraint …, 2007
652007
Constraint acquisition via partial queries
C Bessiere, R Coletta, E Hebrard, G Katsirelos, N Lazaar, N Narodytska, ...
IJCAI: International Joint Conference on Artificial Intelligence, 475-481, 2013
572013
Flow-based propagators for the SEQUENCE and related global constraints
M Maher, N Narodytska, CG Quimper, T Walsh
International conference on principles and practice of constraint …, 2008
532008
Strategic Behavior when Allocating Indivisible Goods Sequentially.
T Kalinowski, N Narodytska, T Walsh, L Xia
AAAI, 2013
512013
Decompositions of all different, global cardinality and related constraints
C Bessiere, G Katsirelos, N Narodytska, CG Quimper, T Walsh
arXiv preprint arXiv:0905.3755, 2009
452009
A social welfare optimal sequential allocation procedure
T Kalinowski, N Nardoytska, T Walsh
arXiv preprint arXiv:1304.5892, 2013
432013
Automated verification of neural networks: Advances, challenges and perspectives
F Leofante, N Narodytska, L Pulina, A Tacchella
arXiv preprint arXiv:1805.09938, 2018
412018
Constraint and Variable Ordering Heuristics for Compiling Configuration Problems.
N Narodytska, T Walsh
IJCAI, 149-154, 2007
412007
Relgan: Relational generative adversarial networks for text generation
W Nie, N Narodytska, A Patel
International conference on learning representations, 2018
392018
Learning Optimal Decision Trees with SAT.
N Narodytska, A Ignatiev, F Pereira, J Marques-Silva, IS RAS
IJCAI, 1362-1368, 2018
382018
The computational impact of partial votes on strategic voting
N Narodytska, T Walsh
arXiv preprint arXiv:1405.7714, 2014
332014
Abduction-based explanations for machine learning models
A Ignatiev, N Narodytska, J Marques-Silva
Proceedings of the AAAI Conference on Artificial Intelligence 33, 1511-1519, 2019
302019
On the complexity and completeness of static constraints for breaking row and column symmetry
G Katsirelos, N Narodytska, T Walsh
International Conference on Principles and Practice of Constraint …, 2010
292010
Manipulation of Nanson's and Baldwin's rules
N Narodytska, T Walsh, L Xia
arXiv preprint arXiv:1106.5312, 2011
282011
Configuration
C Sinz, A Haag, N Narodytska, T Walsh, E Gelle, M Sabin, U Junker, ...
IEEE Intelligent Systems 22 (1), 78-90, 2007
282007
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20