Nina Narodytska
Nina Narodytska
VMware Research
Verified email at vmware.com - Homepage
Title
Cited by
Cited by
Year
Simple black-box adversarial perturbations for deep networks
N Narodytska, SP Kasiviswanathan
arXiv preprint arXiv:1612.06299, 2016
310*2016
Maximum satisfiability using core-guided MaxSAT resolution
N Narodytska, F Bacchus
Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014
1432014
Verifying properties of binarized deep neural networks
N Narodytska, S Kasiviswanathan, L Ryzhyk, M Sagiv, T Walsh
Proceedings of the AAAI Conference on Artificial Intelligence 32 (1), 2018
1282018
Complexity of and algorithms for Borda manipulation
J Davies, G Katsirelos, N Narodytska, T Walsh
Proceedings of the AAAI Conference on Artificial Intelligence 25 (1), 2011
962011
Relgan: Relational generative adversarial networks for text generation
W Nie, N Narodytska, A Patel
International conference on learning representations, 2018
782018
Circuit complexity and decompositions of global constraints
C Bessiere, G Katsirelos, N Narodytska, T Walsh
Twenty-First International Joint Conference on Artificial Intelligence, 2009
742009
Constraint acquisition via partial queries
C Bessiere, R Coletta, E Hebrard, G Katsirelos, N Lazaar, N Narodytska, ...
Twenty-Third International Joint Conference on Artificial Intelligence, 2013
672013
Encodings of the Sequence Constraint
S Brand, N Narodytska, CG Quimper, P Stuckey, T Walsh
International conference on principles and practice of constraint …, 2007
662007
Abduction-based explanations for machine learning models
A Ignatiev, N Narodytska, J Marques-Silva
Proceedings of the AAAI Conference on Artificial Intelligence 33 (01), 1511-1519, 2019
562019
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
542008
Learning Optimal Decision Trees with SAT.
N Narodytska, A Ignatiev, F Pereira, J Marques-Silva, IS RAS
IJCAI, 1362-1368, 2018
522018
Automated verification of neural networks: Advances, challenges and perspectives
F Leofante, N Narodytska, L Pulina, A Tacchella
arXiv preprint arXiv:1805.09938, 2018
512018
Strategic behavior when allocating indivisible goods sequentially
T Kalinowski, N Narodytska, T Walsh, L Xia
Twenty-Seventh AAAI Conference on Artificial Intelligence, 2013
512013
A social welfare optimal sequential allocation procedure
T Kalinowski, N Narodytska, T Walsh
Twenty-Third International Joint Conference on Artificial Intelligence, 2013
472013
Decompositions of all different, global cardinality and related constraints
C Bessiere, G Katsirelos, N Narodytska, CG Quimper, T Walsh
Twenty-First International Joint Conference on Artificial Intelligence, 2009
472009
Constraint and Variable Ordering Heuristics for Compiling Configuration Problems.
N Narodytska, T Walsh
IJCAI, 149-154, 2007
432007
On relating explanations and adversarial examples
A Ignatiev, N Narodytska, J Marques-Silva
Advances in Neural Information Processing Systems 32, 15883-15893, 2019
352019
A SAT-based approach to learn explainable decision sets
A Ignatiev, F Pereira, N Narodytska, J Marques-Silva
International Joint Conference on Automated Reasoning, 627-645, 2018
342018
The computational impact of partial votes on strategic voting
N Narodytska, T Walsh
arXiv preprint arXiv:1405.7714, 2014
332014
Complexity of and algorithms for the manipulation of Borda, Nanson's and Baldwin's voting rules
J Davies, G Katsirelos, N Narodytska, T Walsh, L Xia
Artificial Intelligence 217, 20-42, 2014
312014
The system can't perform the operation now. Try again later.
Articles 1–20