Nina Narodytska

Cited by

	All	Since 2016
Citations	2123	1487
h-index	25	19
i10-index	52	35

500

250

125

375

2007200820092010201120122013201420152016201720182019202020218 10 32 39 79 103 80 109 156 195 163 199 327 488 110

Public access

View all

23 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Toby WalshProfessor, UNSW and Data61Verified email at cse.unsw.edu.au
George KatsirelosINRAEVerified email at inrae.fr
Claude-Guy QuimperUniversité LavalVerified email at ift.ulaval.ca
Leonid RyzhykVMware ResearchVerified email at vmware.com
christian bessiereCNRSVerified email at lirmm.fr
Shiva KasiviswanathanAmazon Machine LearningVerified email at amazon.com
Joao Marques-SilvaCNRS Research Director, IRIT, CNRS & ANITIVerified email at irit.fr
Alexey IgnatievFaculty of Information Technology, Monash UniversityVerified email at monash.edu
Serge GaspersAssociate Professor, UNSW Sydney, AustraliaVerified email at cse.unsw.edu.au
Mooly SagivTel Aviv UniversityVerified email at acm.org
Lirong XiaAssociate Professor, Rensselaer Polytechnic Institute (RPI)Verified email at cs.rpi.edu
Thomas KalinowskiUniversity of New EnglandVerified email at une.edu.au
Nicholas MatteiAssistant Professor, Tulane UniversityVerified email at tulane.edu
Emmanuel HebrardLAAS-CNRSVerified email at laas.fr
Fahiem BacchusProfessor of Computer Science, University of TorontoVerified email at cs.toronto.edu
Nadjib LazaarMaître de conférence, LIRMM-CNRS, Université de Montpellier 2Verified email at lirmm.fr
Haris AzizUNSW Sydney - Scientia Associate ProfessorVerified email at unsw.edu.au
remi colettaMaitre de Conférences, LIRMM - Université Montpellier 2Verified email at lirmm.fr
Armando TacchellaProfessor, Information Processing Systems, University of GenoaVerified email at unige.it
Luca PulinaUniversity of SassariVerified email at uniss.it

Nina Narodytska

VMware Research

Verified email at vmware.com - Homepage

Artificial Intelligence Optimization


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Simple black-box adversarial perturbations for deep networks N Narodytska, SP Kasiviswanathan arXiv preprint arXiv:1612.06299, 2016	289*	2016
Maximum satisfiability using core-guided MaxSAT resolution N Narodytska, F Bacchus Proceedings of the AAAI Conference on Artificial Intelligence 28 (1), 2014	139	2014
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	114	2018
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	94	2011
Circuit complexity and decompositions of global constraints C Bessiere, G Katsirelos, N Narodytska, T Walsh arXiv preprint arXiv:0905.3757, 2009	72	2009
Encodings of the Sequence Constraint S Brand, N Narodytska, CG Quimper, P Stuckey, T Walsh International conference on principles and practice of constraint …, 2007	66	2007
Relgan: Relational generative adversarial networks for text generation W Nie, N Narodytska, A Patel International conference on learning representations, 2018	62	2018
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	62	2013
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	55	2008
Strategic behavior when allocating indivisible goods sequentially T Kalinowski, N Narodytska, T Walsh, L Xia Proceedings of the AAAI Conference on Artificial Intelligence 27 (1), 2013	52	2013
Automated verification of neural networks: Advances, challenges and perspectives F Leofante, N Narodytska, L Pulina, A Tacchella arXiv preprint arXiv:1805.09938, 2018	49	2018
Learning Optimal Decision Trees with SAT. N Narodytska, A Ignatiev, F Pereira, J Marques-Silva, IS RAS IJCAI, 1362-1368, 2018	48	2018
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	47	2009
A social welfare optimal sequential allocation procedure T Kalinowski, N Nardoytska, T Walsh arXiv preprint arXiv:1304.5892, 2013	45	2013
Constraint and Variable Ordering Heuristics for Compiling Configuration Problems. N Narodytska, T Walsh IJCAI, 149-154, 2007	43	2007
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	41	2019
The computational impact of partial votes on strategic voting N Narodytska, T Walsh arXiv preprint arXiv:1405.7714, 2014	35	2014
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	32	2018
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	30	2010
Manipulation of Nanson's and Baldwin's rules N Narodytska, T Walsh, L Xia Proceedings of the AAAI Conference on Artificial Intelligence 25 (1), 2011	29	2011

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors