![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Nina Narodytska
Person information
- affiliation: VMware Research, USA
- affiliation (former): Samsung Research America, Mountain View, USA
- affiliation (former): University of New South Wales, Sydney, Australia
Refine list
![note](https://dblp1.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j11]Christian Bessiere, Clément Carbonnel, Anton Dries, Emmanuel Hebrard, George Katsirelos, Nadjib Lazaar, Nina Narodytska, Claude-Guy Quimper, Kostas Stergiou, Dimosthenis C. Tsouros, Toby Walsh:
Corrigendum to "Learning constraints through partial queries" [Artificial Intelligence 319 (2023) 103896]. Artif. Intell. 328: 104075 (2024) - [c80]Sagar Patel, Sangeetha Abdu Jyothi, Nina Narodytska:
CrystalBox: Future-Based Explanations for Input-Driven Deep RL Systems. AAAI 2024: 14563-14571 - [c79]Haoze Wu, Clark W. Barrett, Nina Narodytska:
Lemur: Integrating Large Language Models in Automated Program Verification. ICLR 2024 - [e3]Guy Avni
, Mirco Giacobbe
, Taylor T. Johnson
, Guy Katz
, Anna Lukina
, Nina Narodytska
, Christian Schilling
:
AI Verification - First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22-23, 2024, Proceedings. Lecture Notes in Computer Science 14846, Springer 2024, ISBN 978-3-031-65111-3 [contents] - [i55]Ravi Mangal, Nina Narodytska, Divya Gopinath, Boyue Caroline Hu, Anirban Roy, Susmit Jha, Corina S. Pasareanu:
Concept-based Analysis of Neural Networks via Vision-Language Models. CoRR abs/2403.19837 (2024) - [i54]Nina Narodytska, Shay Vargaftik:
Lucy: Think and Reason to Solve Text-to-SQL. CoRR abs/2407.05153 (2024) - 2023
- [j10]Christian Bessiere
, Clément Carbonnel
, Anton Dries, Emmanuel Hebrard
, George Katsirelos
, Nadjib Lazaar, Nina Narodytska, Claude-Guy Quimper, Kostas Stergiou, Dimosthenis C. Tsouros, Toby Walsh:
Learning constraints through partial queries. Artif. Intell. 319: 103896 (2023) - [j9]Yacine Izza
, Xuanxiang Huang
, Alexey Ignatiev
, Nina Narodytska, Martin C. Cooper, João Marques-Silva:
On computing probabilistic abductive explanations. Int. J. Approx. Reason. 159: 108939 (2023) - [j8]Sagar Patel, Sangeetha Abdu Jyothi, Nina Narodytska:
Towards Future-Based Explanations for Deep RL Network Controllers. SIGMETRICS Perform. Evaluation Rev. 51(2): 100-102 (2023) - [c78]Jinqiang Yu, Alexey Ignatiev, Peter J. Stuckey, Nina Narodytska, João Marques-Silva:
Eliminating the Impossible, Whatever Remains Must Be True: On Extracting and Applying Background Knowledge in the Context of Formal Explanations. AAAI 2023: 4123-4131 - [c77]Mikolas Janota, Nina Narodytska:
The FMCAD 2023 Student Forum. FMCAD 2023: 1-2 - [e2]Nina Narodytska, Guy Amir, Guy Katz, Omri Isac:
Proceedings of the 6th Workshop on Formal Methods for ML-Enabled Autonomous Systems, FoMLAS@CAV 2023, Paris, France, July 17-18, 2023. Kalpa Publications in Computing 16, EasyChair 2023 [contents] - [i53]Sagar Patel, Junyang Zhang, Sangeetha Abdu Jyothi
, Nina Narodytska:
Prioritized Trace Selection: Towards High-Performance DRL-based Network Controllers. CoRR abs/2302.12403 (2023) - [i52]Sagar Patel, Sangeetha Abdu Jyothi
, Nina Narodytska:
CrystalBox: Future-Based Explanations for DRL Network Controllers. CoRR abs/2302.13483 (2023) - [i51]Haoze Wu, Clark W. Barrett, Nina Narodytska:
Lemur: Integrating Large Language Models in Automated Program Verification. CoRR abs/2310.04870 (2023) - 2022
- [j7]Haoze Wu
, Clark W. Barrett
, Mahmood Sharif
, Nina Narodytska
, Gagandeep Singh
:
Scalable verification of GNN-based job schedulers. Proc. ACM Program. Lang. 6(OOPSLA2): 1036-1065 (2022) - [c76]Aditya A. Shrotri, Nina Narodytska, Alexey Ignatiev, Kuldeep S. Meel, João Marques-Silva, Moshe Y. Vardi:
Constraint-Driven Explanations for Black-Box ML Models. AAAI 2022: 8304-8314 - [c75]Nina Narodytska, Nikolaj S. Bjørner:
Analysis of Core-Guided MaxSat Using Cores and Correction Sets. SAT 2022: 26:1-26:20 - [e1]Omri Isac, Radoslav Ivanov
, Guy Katz
, Nina Narodytska
, Laura Nenzi
:
Software Verification and Formal Methods for ML-Enabled Autonomous Systems - 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings. Lecture Notes in Computer Science 13466, Springer 2022, ISBN 978-3-031-21221-5 [contents] - [i50]Parikshit Gopalan, Nina Narodytska, Omer Reingold, Vatsal Sharan, Udi Wieder:
KL Divergence Estimation with Multi-group Attribution. CoRR abs/2202.13576 (2022) - [i49]Haoze Wu, Clark W. Barrett, Mahmood Sharif, Nina Narodytska, Gagandeep Singh
:
Scalable Verification of GNN-based Job Schedulers. CoRR abs/2203.03153 (2022) - [i48]Yacine Izza, Alexey Ignatiev
, Nina Narodytska, Martin C. Cooper, João Marques-Silva:
Provably Precise, Succinct and Efficient Explanations for Decision Trees. CoRR abs/2205.09569 (2022) - [i47]Jinqiang Yu, Alexey Ignatiev
, Peter J. Stuckey, Nina Narodytska, João Marques-Silva:
Eliminating The Impossible, Whatever Remains Must Be True. CoRR abs/2206.09551 (2022) - [i46]Yacine Izza, Xuanxiang Huang, Alexey Ignatiev
, Nina Narodytska, Martin C. Cooper, João Marques-Silva:
On Computing Probabilistic Abductive Explanations. CoRR abs/2212.05990 (2022) - 2021
- [c74]João Marques-Silva, Thomas Gerspacher, Martin C. Cooper, Alexey Ignatiev, Nina Narodytska:
Explanations for Monotonic Classifiers. ICML 2021: 7469-7479 - [c73]Alexey Ignatiev, João Marques-Silva, Nina Narodytska, Peter J. Stuckey:
Reasoning-Based Learning of Interpretable ML Models. IJCAI 2021: 4458-4465 - [c72]Arnaud Dethise
, Marco Canini
, Nina Narodytska:
Analyzing Learning-Based Networked Systems with Formal Verification. INFOCOM 2021: 1-10 - [i45]João Marques-Silva, Thomas Gerspacher, Martin C. Cooper, Alexey Ignatiev, Nina Narodytska:
Explanations for Monotonic Classifiers. CoRR abs/2106.00154 (2021) - [i44]Yacine Izza, Alexey Ignatiev, Nina Narodytska, Martin C. Cooper, João Marques-Silva:
Efficient Explanations With Relevant Sets. CoRR abs/2106.00546 (2021) - 2020
- [c71]Alexey Ignatiev
, Nina Narodytska
, Nicholas Asher
, João Marques-Silva:
From Contrastive to Abductive Explanations and Back Again. AI*IA 2020: 335-355 - [c70]Hongce Zhang
, Maxwell Shinn, Aarti Gupta
, Arie Gurfinkel
, Nham Le, Nina Narodytska:
Verification of Recurrent Neural Networks for Cognitive Tasks via Reachability Analysis. ECAI 2020: 1690-1697 - [c69]Nina Narodytska, Hongce Zhang
, Aarti Gupta
, Toby Walsh:
In Search for a SAT-friendly Binarized Neural Network Architecture. ICLR 2020 - [c68]João Marques-Silva, Thomas Gerspacher, Martin C. Cooper, Alexey Ignatiev, Nina Narodytska:
Explaining Naive Bayes and Other Linear Classifiers with Polynomial Time and Delay. NeurIPS 2020 - [c67]Lalith Suresh, João Loff, Faria Kalim, Sangeetha Abdu Jyothi
, Nina Narodytska, Leonid Ryzhyk, Sahan Gamage, Brian Oki, Pranshu Jain, Michael Gasch:
Building Scalable and Flexible Cluster Managers Using Declarative Programming. OSDI 2020: 827-844 - [i43]Christian Bessiere, Clément Carbonnel, Anton Dries, Emmanuel Hebrard, George Katsirelos, Nadjib Lazaar
, Nina Narodytska, Claude-Guy Quimper, Kostas Stergiou, Dimosthenis C. Tsouros, Toby Walsh:
Partial Queries for Constraint Acquisition. CoRR abs/2003.06649 (2020) - [i42]João Marques-Silva, Thomas Gerspacher, Martin C. Cooper
, Alexey Ignatiev, Nina Narodytska:
Explaining Naive Bayes and Other Linear Classifiers with Polynomial Time and Delay. CoRR abs/2008.05803 (2020) - [i41]Alexey Ignatiev, Nina Narodytska, Nicholas Asher, João Marques-Silva:
On Relating 'Why?' and 'Why Not?' Explanations. CoRR abs/2012.11067 (2020)
2010 – 2019
- 2019
- [c66]Alexey Ignatiev
, Nina Narodytska, João Marques-Silva:
Abduction-Based Explanations for Machine Learning Models. AAAI 2019: 1511-1519 - [c65]Nina Narodytska, Leonid Ryzhyk, Igor Ganichev, Soner Sevinc:
BDD-Based Algorithms for Packet Classification. FMCAD 2019: 64-68 - [c64]Lalith Suresh, João Loff, Nina Narodytska, Leonid Ryzhyk, Mooly Sagiv, Brian Oki:
Synthesizing Cluster Management Code for Distributed Systems. HotOS 2019: 45-50 - [c63]Weili Nie, Nina Narodytska, Ankit Patel:
RelGAN: Relational Generative Adversarial Networks for Text Generation. ICLR (Poster) 2019 - [c62]Alexey Ignatiev, Nina Narodytska, João Marques-Silva:
On Relating Explanations and Adversarial Examples. NeurIPS 2019: 15857-15867 - [c61]Elazar Gershuni, Nadav Amit
, Arie Gurfinkel
, Nina Narodytska, Jorge A. Navas, Noam Rinetzky, Leonid Ryzhyk, Mooly Sagiv:
Simple and precise static analysis of untrusted Linux kernel extensions. PLDI 2019: 1069-1084 - [c60]Nina Narodytska, Aditya A. Shrotri, Kuldeep S. Meel, Alexey Ignatiev
, João Marques-Silva:
Assessing Heuristic Machine Learning Explanations with Model Counting. SAT 2019: 267-278 - [i40]Alexey Ignatiev, Nina Narodytska, João Marques-Silva:
On Validating, Repairing and Refining Heuristic ML Explanations. CoRR abs/1907.02509 (2019) - [i39]Lalith Suresh, João Loff, Faria Kalim, Nina Narodytska, Leonid Ryzhyk, Sahan Gamage, Brian Oki, Zeeshan Lokhandwala, Mukesh Hira, Mooly Sagiv:
Automating Cluster Management with Weave. CoRR abs/1909.03130 (2019) - 2018
- [c59]Nina Narodytska, Shiva Prasad Kasiviswanathan, Leonid Ryzhyk, Mooly Sagiv, Toby Walsh:
Verifying Properties of Binarized Deep Neural Networks. AAAI 2018: 6615-6624 - [c58]Alexey Ignatiev
, Filipe Pereira, Nina Narodytska, João Marques-Silva:
A SAT-Based Approach to Learn Explainable Decision Sets. IJCAR 2018: 627-645 - [c57]Nina Narodytska:
Formal Verification of Deep Neural Networks. FMCAD 2018: 1 - [c56]Nina Narodytska, Nikolaj S. Bjørner, Maria-Cristina V. Marinescu, Mooly Sagiv:
Core-Guided Minimal Correction Set and Core Enumeration. IJCAI 2018: 1353-1361 - [c55]Nina Narodytska, Alexey Ignatiev, Filipe Pereira, João Marques-Silva:
Learning Optimal Decision Trees with SAT. IJCAI 2018: 1362-1368 - [c54]Shiva Prasad Kasiviswanathan, Nina Narodytska, Hongxia Jin:
Network Approximation using Tensor Sketching. IJCAI 2018: 2319-2325 - [c53]Nina Narodytska:
Formal Analysis of Deep Binarized Neural Networks. IJCAI 2018: 5692-5696 - [c52]Svyatoslav Korneev, Nina Narodytska, Luca Pulina, Armando Tacchella
, Nikolaj S. Bjørner, Mooly Sagiv:
Constrained Image Generation Using Binarized Neural Networks with Decision Procedures. SAT 2018: 438-449 - [i38]Svyatoslav Korneev, Nina Narodytska, Luca Pulina, Armando Tacchella, Nikolaj S. Bjørner, Mooly Sagiv:
Constrained Image Generation Using Binarized Neural Networks with Decision Procedures. CoRR abs/1802.08795 (2018) - [i37]Francesco Leofante, Nina Narodytska, Luca Pulina, Armando Tacchella:
Automated Verification of Neural Networks: Advances, Challenges and Perspectives. CoRR abs/1805.09938 (2018) - [i36]Alexey Ignatiev, Nina Narodytska, João Marques-Silva:
Abduction-Based Explanations for Machine Learning Models. CoRR abs/1811.10656 (2018) - 2017
- [c51]Nina Narodytska, Shiva Prasad Kasiviswanathan:
Simple Black-Box Adversarial Attacks on Deep Neural Networks. CVPR Workshops 2017: 1310-1318 - [i35]Nina Narodytska, Shiva Prasad Kasiviswanathan, Leonid Ryzhyk, Mooly Sagiv, Toby Walsh:
Verifying Properties of Binarized Deep Neural Networks. CoRR abs/1709.06662 (2017) - [i34]Shiva Prasad Kasiviswanathan, Nina Narodytska, Hongxia Jin:
Deep Neural Network Approximation using Tensor Sketching. CoRR abs/1710.07850 (2017) - 2016
- [j6]Nina Narodytska, Thierry Petit, Mohamed Siala
, Toby Walsh
:
Three generalizations of the FOCUS constraint. Constraints An Int. J. 21(4): 495-532 (2016) - [c50]Alexander Legg, Nina Narodytska, Leonid Ryzhyk:
A SAT-Based Counterexample Guided Method for Unbounded Synthesis. CAV (2) 2016: 364-382 - [c49]Omer Reingold, Nina Narodytska:
Adaptive Condorcet-Based Stopping Rules Can Be Efficient. ECAI 2016: 1704-1705 - [c48]Swen Jacobs
, Roderick Bloem
, Romain Brenguier, Ayrat Khalimov, Felix Klein, Robert Könighofer, Jens Kreber, Alexander Legg, Nina Narodytska, Guillermo A. Pérez
, Jean-François Raskin
, Leonid Ryzhyk, Ocan Sankur, Martina Seidl, Leander Tentrup, Adam Walker:
The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants & Results. SYNT@CAV 2016: 149-177 - [p1]Christian Bessiere, Abderrazak Daoudi, Emmanuel Hebrard
, George Katsirelos, Nadjib Lazaar
, Younes Mechqrane, Nina Narodytska, Claude-Guy Quimper
, Toby Walsh:
New Approaches to Constraint Acquisition. Data Mining and Constraint Programming 2016: 51-76 - [i33]Nina Narodytska, Shiva Prasad Kasiviswanathan:
Simple Black-Box Adversarial Perturbations for Deep Networks. CoRR abs/1612.06299 (2016) - 2015
- [c47]Niklas Eén, Alexander Legg, Nina Narodytska, Leonid Ryzhyk:
SAT-Based Strategy Extraction in Reachability Games. AAAI 2015: 3738-3745 - [c46]Haris Aziz
, Serge Gaspers, Simon Mackenzie, Nicholas Mattei, Nina Narodytska, Toby Walsh:
Manipulating the Probabilistic Serial Rule. AAMAS 2015: 1451-1459 - [c45]Andrea Loreggia, Nina Narodytska, Francesca Rossi, Kristen Brent Venable, Toby Walsh:
Controlling Elections by Replacing Candidates or Votes. AAMAS 2015: 1737-1738 - [c44]Nikolaj S. Bjørner, Nina Narodytska:
Maximum Satisfiability Using Cores and Correction Sets. IJCAI 2015: 246-252 - [c43]Haris Aziz
, Serge Gaspers, Simon Mackenzie, Nicholas Mattei, Nina Narodytska, Toby Walsh:
Equilibria Under the Probabilistic Serial Rule. IJCAI 2015: 1105-1112 - [i32]Haris Aziz, Serge Gaspers, Simon Mackenzie, Nicholas Mattei, Nina Narodytska, Toby Walsh:
Manipulating the Probabilistic Serial Rule. CoRR abs/1501.06626 (2015) - [i31]Haris Aziz, Serge Gaspers, Simon Mackenzie, Nicholas Mattei, Nina Narodytska, Toby Walsh:
Equilibria Under the Probabilistic Serial Rule. CoRR abs/1502.04888 (2015) - 2014
- [j5]Jessica Davies, George Katsirelos, Nina Narodytska, Toby Walsh
, Lirong Xia
:
Complexity of and algorithms for the manipulation of Borda, Nanson's and Baldwin's voting rules. Artif. Intell. 217: 20-42 (2014) - [c42]Andrea Loreggia, Nina Narodytska, Francesca Rossi, Kristen Brent Venable, Toby Walsh:
Controlling Elections by Replacing Candidates: Theoretical and Experimental Results. MPREF@AAAI 2014 - [c41]Joel Oren, Nina Narodytska, Craig Boutilier:
A Game-Theoretic Analysis of Catalog Optimization. AAAI 2014: 1463-1470 - [c40]Nina Narodytska, Fahiem Bacchus:
Maximum Satisfiability Using Core-Guided MaxSAT Resolution. AAAI 2014: 2717-2723 - [c39]Serge Gaspers, Victor Naroditskiy, Nina Narodytska, Toby Walsh:
Possible and necessary winner problem in social polls. AAMAS 2014: 613-620 - [c38]Nina Narodytska, Alexander Legg, Fahiem Bacchus, Leonid Ryzhyk, Adam Walker:
Solving Games without Controllable Predecessor. CAV 2014: 533-540 - [c37]Nina Narodytska, Toby Walsh:
The Computational Impact of Partial Votes on Strategic Voting. ECAI 2014: 657-662 - [c36]Nicholas Mattei
, Nina Narodytska, Toby Walsh:
How Hard Is It to Control an Election by Breaking Ties? ECAI 2014: 1067-1068 - [c35]Christian Bessiere, Emmanuel Hebrard
, George Katsirelos, Zeynep Kiziltan, Nina Narodytska, Toby Walsh:
Reasoning about Constraint Models. PRICAI 2014: 795-808 - [c34]Ravi Mangal, Nina Narodytska, Divya Gopinath, Boyue Caroline Hu, Anirban Roy, Susmit Jha, Corina S. Pasareanu:
Concept-Based Analysis of Neural Networks via Vision-Language Models. SAIV 2014: 49-77 - [c33]Fahiem Bacchus, Nina Narodytska:
Cores in Core Based MaxSat Algorithms: An Analysis. SAT 2014: 7-15 - [i30]Lucas Bordeaux, George Katsirelos, Nina Narodytska, Moshe Y. Vardi:
The Complexity of Integer Bound Propagation. CoRR abs/1401.3887 (2014) - [i29]Haris Aziz, Serge Gaspers, Nicholas Mattei, Nina Narodytska, Toby Walsh:
Strategic aspects of the probabilistic serial rule for the allocation of goods. CoRR abs/1401.6523 (2014) - [i28]Nina Narodytska, Toby Walsh:
The Computational Impact of Partial Votes on Strategic Voting. CoRR abs/1405.7714 (2014) - 2013
- [j4]Michael R. Fellows
, Tobias Friedrich, Danny Hermelin
, Nina Narodytska, Frances A. Rosamond
:
Constraint satisfaction problems: Convexity makes AllDifferent constraints tractable. Theor. Comput. Sci. 472: 81-89 (2013) - [c32]Haris Aziz
, Serge Gaspers, Nicholas Mattei, Nina Narodytska, Toby Walsh:
Ties Matter: Complexity of Manipulation when Tie-Breaking with a Random Vote. AAAI 2013: 74-80 - [c31]Thomas Kalinowski, Nina Narodytska, Toby Walsh, Lirong Xia:
Strategic Behavior when Allocating Indivisible Goods Sequentially. AAAI 2013: 452-458 - [c30]Nina Narodytska, Toby Walsh:
Manipulating two stage voting rules. AAMAS 2013: 423-430 - [c29]Serge Gaspers, Thomas Kalinowski, Nina Narodytska, Toby Walsh:
Coalitional manipulation for Schulze's rule. AAMAS 2013: 431-438 - [c28]Serge Gaspers, Victor Naroditskiy, Nina Narodytska, Toby Walsh:
Possible and necessary winner problem in social polls. AAMAS 2013: 1131-1132 - [c27]Nina Narodytska, Toby Walsh:
Breaking Symmetry with Different Orderings. CP 2013: 545-561 - [c26]Nina Narodytska, Toby Walsh:
An Adaptive Model Restarts Heuristic. CPAIOR 2013: 369-377 - [c25]Thomas Kalinowski, Nina Narodytska, Toby Walsh:
A Social Welfare Optimal Sequential Allocation Procedure. IJCAI 2013: 227-233 - [c24]Christian Bessiere, Remi Coletta, Emmanuel Hebrard, George Katsirelos, Nadjib Lazaar, Nina Narodytska, Claude-Guy Quimper, Toby Walsh:
Constraint Acquisition via Partial Queries. IJCAI 2013: 475-481 - [c23]Geoffrey Chu, Serge Gaspers, Nina Narodytska, Andreas Schutt, Toby Walsh:
On the Complexity of Global Scheduling Constraints under Structural Restrictions. IJCAI 2013: 503-509 - [c22]Nina Narodytska, Thierry Petit, Mohamed Siala
, Toby Walsh:
Three Generalizations of the FOCUS Constraint. IJCAI 2013: 630-636 - [i27]Serge Gaspers, Victor Naroditskiy, Nina Narodytska, Toby Walsh:
Possible and Necessary Winner Problem in Social Polls. CoRR abs/1302.1669 (2013) - [i26]Nina Narodytska, Peter Skocovsky, Toby Walsh:
Global SPACING Constraint (Technical Report). CoRR abs/1303.6107 (2013) - [i25]Serge Gaspers, Thomas Kalinowski, Nina Narodytska, Toby Walsh:
Coalitional Manipulation for Schulze's Rule. CoRR abs/1304.0844 (2013) - [i24]Thomas Kalinowski, Nina Narodytska, Toby Walsh:
A Social Welfare Optimal Sequential Allocation Procedure. CoRR abs/1304.5892 (2013) - [i23]Nina Narodytska, Thierry Petit, Mohamed Siala
, Toby Walsh:
Three Generalizations of the FOCUS Constraint. CoRR abs/1304.5970 (2013) - [i22]Nicholas Mattei, Nina Narodytska, Toby Walsh:
How hard is it to control an election by breaking ties? CoRR abs/1304.6174 (2013) - [i21]Nina Narodytska, Toby Walsh:
Breaking Symmetry with Different Orderings. CoRR abs/1306.5053 (2013) - 2012
- [c21]Jessica Davies, Nina Narodytska, Toby Walsh:
Eliminating the Weakest Link: Making Manipulation Intractable? AAAI 2012: 1333-1339 - [c20]Lucas Bordeaux, Nina Narodytska:
On the Violation of Circuits in Decomposable Negation Normal Form. Australasian Conference on Artificial Intelligence 2012: 194-205 - [c19]Ronald de Haan, Nina Narodytska, Toby Walsh:
The RegularGcc Matrix Constraint. Australasian Conference on Artificial Intelligence 2012: 206-217 - [c18]George Katsirelos, Nina Narodytska, Toby Walsh:
The SeqBin Constraint Revisited. CP 2012: 332-347 - [c17]Nina Narodytska, Toby Walsh, Lirong Xia
:
Combining Voting Rules Together. ECAI 2012: 612-617 - [i20]Ronald de Haan, Nina Narodytska, Toby Walsh:
The RegularGcc Matrix Constraint. CoRR abs/1201.0564 (2012) - [i19]Nina Narodytska, Toby Walsh, Lirong Xia:
Combining Voting Rules Together. CoRR abs/1203.3051 (2012) - [i18]Jessica Davies, Nina Narodytska, Toby Walsh:
Eliminating the Weakest Link: Making Manipulation Intractable? CoRR abs/1204.3918 (2012) - [i17]George Katsirelos, Nina Narodytska, Toby Walsh:
The SeqBin Constraint Revisited. CoRR abs/1207.1811 (2012) - 2011
- [b1]Nina Narodytska:
Reformulation of global constraints. University of New South Wales, Sydney, Australia, 2011 - [j3]George Katsirelos, Nina Narodytska, Toby Walsh
:
The weighted Grammar constraint. Ann. Oper. Res. 184(1): 179-207 (2011) - [j2]Lucas Bordeaux, George Katsirelos, Nina Narodytska, Moshe Y. Vardi:
The Complexity of Integer Bound Propagation. J. Artif. Intell. Res. 40: 657-676 (2011) - [c16]Jessica Davies, George Katsirelos, Nina Narodytska, Toby Walsh:
Complexity of and Algorithms for Borda Manipulation. AAAI 2011: 657-662 - [c15]Nina Narodytska, Toby Walsh, Lirong Xia:
Manipulation of Nanson's and Baldwin's Rules. AAAI 2011: 713-718 - [c14]Christian Bessiere, Nina Narodytska, Claude-Guy Quimper
, Toby Walsh:
The AllDifferent Constraint with Precedences. CPAIOR 2011: 36-52 - [c13]Michael R. Fellows
, Tobias Friedrich, Danny Hermelin
, Nina Narodytska, Frances A. Rosamond
:
Constraint Satisfaction Problems: Convexity Makes AllDifferent Constraints Tractable. IJCAI 2011: 522-527 - [i16]Christian Bessiere, Nina Narodytska, Claude-Guy Quimper, Toby Walsh:
The AllDifferent Constraint with Precedences. CoRR abs/1103.3745 (2011) - [i15]Jessica Davies, George Katsirelos, Nina Narodytska, Toby Walsh:
Complexity of and Algorithms for Borda Manipulation. CoRR abs/1105.5667 (2011) - [i14]Nina Narodytska, Toby Walsh, Lirong Xia:
Manipulation of Nanson's and Baldwin's Rules. CoRR abs/1106.5312 (2011) - 2010
- [c12]Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh:
Propagating Conjunctions of AllDifferent Constraints. AAAI 2010: 27-32 - [c11]Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper
, Toby Walsh:
Decomposition of the NValue Constraint. CP 2010: 114-128 - [c10]George Katsirelos, Nina Narodytska, Toby Walsh:
On the Complexity and Completeness of Static Constraints for Breaking Row and Column Symmetry. CP 2010: 305-320 - [i13]Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh:
Propagating Conjunctions of AllDifferent Constraints. CoRR abs/1004.2626 (2010) - [i12]George Katsirelos, Nina Narodytska, Toby Walsh:
On The Complexity and Completeness of Static Constraints for Breaking Row and Column Symmetry. CoRR abs/1007.0602 (2010) - [i11]Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh:
Decomposition of the NVALUE constraint. CoRR abs/1007.0603 (2010) - [i10]Jessica Davies, George Katsirelos, Nina Narodytska, Toby Walsh:
An Empirical Study of Borda Manipulation. CoRR abs/1007.5104 (2010)
2000 – 2009
- 2009
- [c9]George Katsirelos, Sebastian Maneth, Nina Narodytska, Toby Walsh:
Restricted Global Grammar Constraints. CP 2009: 501-508 - [c8]George Katsirelos, Nina Narodytska, Toby Walsh:
Reformulating Global Grammar Constraints. CPAIOR 2009: 132-147 - [c7]Christian Bessiere, George Katsirelos, Nina Narodytska, Toby Walsh:
Circuit Complexity and Decompositions of Global Constraints. IJCAI 2009: 412-418 - [c6]Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh:
Decompositions of All Different, Global Cardinality and Related Constraints. IJCAI 2009: 419-424 - [i9]George Katsirelos, Nina Narodytska, Toby Walsh:
Reformulating Global Grammar Constraints. CoRR abs/0903.0475 (2009) - [i8]George Katsirelos, Nina Narodytska, Toby Walsh:
Combining Symmetry Breaking and Global Constraints. CoRR abs/0903.0479 (2009) - [i7]Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh:
Decompositions of All Different, Global Cardinality and Related Constraints. CoRR abs/0905.3755 (2009) - [i6]Christian Bessiere, George Katsirelos, Nina Narodytska, Toby Walsh:
Circuit Complexity and Decompositions of Global Constraints. CoRR abs/0905.3757 (2009) - [i5]George Katsirelos, Sebastian Maneth, Nina Narodytska, Toby Walsh:
Restricted Global Grammar Constraints. CoRR abs/0906.5233 (2009) - [i4]Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh:
Decomposition of the NVALUE constraint. CoRR abs/0909.3273 (2009) - [i3]Michael J. Maher, Nina Narodytska, Claude-Guy Quimper, Toby Walsh:
Flow-Based Propagators for the SEQUENCE and Related Global Constraints. CoRR abs/0909.4452 (2009) - [i2]George Katsirelos, Nina Narodytska, Toby Walsh:
The Weighted CFG Constraint. CoRR abs/0909.4456 (2009) - [i1]George Katsirelos, Nina Narodytska, Toby Walsh:
Breaking Generator Symmetry. CoRR abs/0909.5099 (2009) - 2008
- [c5]Michael J. Maher, Nina Narodytska, Claude-Guy Quimper
, Toby Walsh:
Flow-Based Propagators for the SEQUENCE and Related Global Constraints. CP 2008: 159-174 - [c4]George Katsirelos, Nina Narodytska, Toby Walsh:
The Weighted CfgConstraint. CPAIOR 2008: 323-327 - [c3]George Katsirelos, Nina Narodytska, Toby Walsh:
Combining Symmetry Breaking and Global Constraints. CSCLP 2008: 84-98 - 2007
- [j1]Carsten Sinz, Albert Haag, Nina Narodytska, Toby Walsh, Esther M. Gelle, Mihaela Sabin, Ulrich Junker
, Barry O'Sullivan
, Rick Rabiser
, Deepak Dhungana
, Paul Grünbacher
, Klaus Lehner, Christian Federspiel, Daniel Naus:
Configuration. IEEE Intell. Syst. 22(1): 78-90 (2007) - [c2]Sebastian Brand, Nina Narodytska, Claude-Guy Quimper
, Peter J. Stuckey, Toby Walsh:
Encodings of the Sequence Constraint. CP 2007: 210-224 - [c1]Nina Narodytska, Toby Walsh:
Constraint and Variable Ordering Heuristics for Compiling Configuration Problems. IJCAI 2007: 149-154
Coauthor Index
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-13 21:51 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint