Encodings of the Sequence Constraint. - Sebastian Brand; Nina Narodytska; Claude-Guy Quimper; Peter J. Stuckey; Toby Walsh (CP, 2007)

Constraint and Variable Ordering Heuristics for Compiling Configuration Problems. - Nina Narodytska; Toby Walsh (IJCAI, 2007)

Configuration. - 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; et al. (IEEE Intell. Syst., 2007)

Flow-Based Propagators for the SEQUENCE and Related Global Constraints. - Michael J. Maher; Nina Narodytska; Claude-Guy Quimper; Toby Walsh (CP, 2008)

The Weighted CfgConstraint. - George Katsirelos; Nina Narodytska; Toby Walsh (CPAIOR, 2008)

Combining Symmetry Breaking and Global Constraints. - George Katsirelos; Nina Narodytska; Toby Walsh (CSCLP, 2008)

Restricted Global Grammar Constraints. - George Katsirelos; Sebastian Maneth; Nina Narodytska; Toby Walsh (CP, 2009)

Reformulating Global Grammar Constraints. - George Katsirelos; Nina Narodytska; Toby Walsh (CPAIOR, 2009)

Decompositions of All Different, Global Cardinality and Related Constraints. - Christian Bessiere; George Katsirelos; Nina Narodytska; Claude-Guy Quimper; Toby Walsh (IJCAI, 2009)

Circuit Complexity and Decompositions of Global Constraints. - Christian Bessiere; George Katsirelos; Nina Narodytska; Toby Walsh (IJCAI, 2009)

The Weighted CFG Constraint - George Katsirelos; Nina Narodytska; Toby Walsh (CoRR, 2009)

Breaking Generator Symmetry - George Katsirelos; Nina Narodytska; Toby Walsh (CoRR, 2009)

Propagating Conjunctions of AllDifferent Constraints. - Christian Bessiere; George Katsirelos; Nina Narodytska; Claude-Guy Quimper; Toby Walsh (AAAI, 2010)

Decomposition of the NValue Constraint. - Christian Bessiere; George Katsirelos; Nina Narodytska; Claude-Guy Quimper; Toby Walsh (CP, 2010)

On the Complexity and Completeness of Static Constraints for Breaking Row and Column Symmetry. - George Katsirelos; Nina Narodytska; Toby Walsh (CP, 2010)

An Empirical Study of Borda Manipulation - Jessica Davies 001; George Katsirelos; Nina Narodytska; Toby Walsh (CoRR, 2010)

Complexity of and Algorithms for Borda Manipulation. - Jessica Davies 001; George Katsirelos; Nina Narodytska; Toby Walsh (AAAI, 2011)

Manipulation of Nanson's and Baldwin's Rules. - Nina Narodytska; Toby Walsh; Lirong Xia (AAAI, 2011)

The AllDifferent Constraint with Precedences. - Christian Bessiere; Nina Narodytska; Claude-Guy Quimper; Toby Walsh (CPAIOR, 2011)

Constraint Satisfaction Problems: Convexity Makes AllDifferent Constraints Tractable. - Michael R. Fellows; Tobias Friedrich 001; Danny Hermelin; Nina Narodytska; Frances A. Rosamond (IJCAI, 2011)

The weighted Grammar constraint. - George Katsirelos; Nina Narodytska; Toby Walsh (Ann. Oper. Res., 2011)

The Complexity of Integer Bound Propagation. - Lucas Bordeaux; George Katsirelos; Nina Narodytska; Moshe Y. Vardi (J. Artif. Intell. Res., 2011)

Reformulation of global constraints. - Nina Narodytska (2011)

Eliminating the Weakest Link: Making Manipulation Intractable? - Jessica Davies 001; Nina Narodytska; Toby Walsh (AAAI, 2012)

On the Violation of Circuits in Decomposable Negation Normal Form. - Lucas Bordeaux; Nina Narodytska (Australasian Conference on Artificial Intelligence, 2012)

The RegularGcc Matrix Constraint. - Ronald de Haan; Nina Narodytska; Toby Walsh (Australasian Conference on Artificial Intelligence, 2012)

The SeqBin Constraint Revisited. - George Katsirelos; Nina Narodytska; Toby Walsh (CP, 2012)

Combining Voting Rules Together. - Nina Narodytska; Toby Walsh; Lirong Xia (ECAI, 2012)

Ties Matter: Complexity of Manipulation when Tie-Breaking with a Random Vote. - Haris Aziz 001; Serge Gaspers; Nicholas Mattei; Nina Narodytska; Toby Walsh (AAAI, 2013)

Strategic Behavior when Allocating Indivisible Goods Sequentially. - Thomas Kalinowski; Nina Narodytska; Toby Walsh; Lirong Xia (AAAI, 2013)

Coalitional manipulation for Schulze's rule. - Serge Gaspers; Thomas Kalinowski; Nina Narodytska; Toby Walsh (AAMAS, 2013)

Possible and necessary winner problem in social polls. - Serge Gaspers; Victor Naroditskiy; Nina Narodytska; Toby Walsh (AAMAS, 2013)

Manipulating two stage voting rules. - Nina Narodytska; Toby Walsh (AAMAS, 2013)

Breaking Symmetry with Different Orderings. - Nina Narodytska; Toby Walsh (CP, 2013)

An Adaptive Model Restarts Heuristic. - Nina Narodytska; Toby Walsh (CPAIOR, 2013)

Constraint Acquisition via Partial Queries. - Christian Bessiere; Remi Coletta; Emmanuel Hebrard; George Katsirelos; Nadjib Lazaar; Nina Narodytska; Claude-Guy Quimper; Toby Walsh (IJCAI, 2013)

On the Complexity of Global Scheduling Constraints under Structural Restrictions. - Geoffrey Chu; Serge Gaspers; Nina Narodytska; Andreas Schutt; Toby Walsh (IJCAI, 2013)

A Social Welfare Optimal Sequential Allocation Procedure. - Thomas Kalinowski; Nina Narodytska; Toby Walsh (IJCAI, 2013)

Three Generalizations of the FOCUS Constraint. - Nina Narodytska; Thierry Petit; Mohamed Siala 002; Toby Walsh (IJCAI, 2013)

Global SPACING Constraint (Technical Report) - Nina Narodytska; Peter Skocovsky; Toby Walsh (CoRR, 2013)

Controlling Elections by Replacing Candidates: Theoretical and Experimental Results. - Andrea Loreggia; Nina Narodytska; Francesca Rossi 001; Kristen Brent Venable; Toby Walsh (MPREF@AAAI, 2014)

Maximum Satisfiability Using Core-Guided MaxSAT Resolution. - Nina Narodytska; Fahiem Bacchus (AAAI, 2014)

A Game-Theoretic Analysis of Catalog Optimization. - Joel Oren; Nina Narodytska; Craig Boutilier (AAAI, 2014)

Solving Games without Controllable Predecessor. - Nina Narodytska; Alexander Legg; Fahiem Bacchus; Leonid Ryzhyk; Adam Walker (CAV, 2014)

How Hard Is It to Control an Election by Breaking Ties? - Nicholas Mattei; Nina Narodytska; Toby Walsh (ECAI, 2014)

The Computational Impact of Partial Votes on Strategic Voting. - Nina Narodytska; Toby Walsh (ECAI, 2014)

Reasoning about Constraint Models. - Christian Bessiere; Emmanuel Hebrard; George Katsirelos; Zeynep Kiziltan; Nina Narodytska; Toby Walsh (PRICAI, 2014)

Cores in Core Based MaxSat Algorithms: An Analysis. - Fahiem Bacchus; Nina Narodytska (SAT, 2014)

Complexity of and algorithms for the manipulation of Borda, Nanson's and Baldwin's voting rules. - Jessica Davies 001; George Katsirelos; Nina Narodytska; Toby Walsh; Lirong Xia (Artif. Intell., 2014)

Strategic aspects of the probabilistic serial rule for the allocation of goods. - Haris Aziz 001; Serge Gaspers; Nicholas Mattei; Nina Narodytska; Toby Walsh (CoRR, 2014)

SAT-Based Strategy Extraction in Reachability Games. - Niklas Eén; Alexander Legg; Nina Narodytska; Leonid Ryzhyk (AAAI, 2015)

Manipulating the Probabilistic Serial Rule. - Haris Aziz 001; Serge Gaspers; Simon Mackenzie; Nicholas Mattei; Nina Narodytska; Toby Walsh (AAMAS, 2015)

Controlling Elections by Replacing Candidates or Votes. - Andrea Loreggia; Nina Narodytska; Francesca Rossi 001; Kristen Brent Venable; Toby Walsh (AAMAS, 2015)

Equilibria Under the Probabilistic Serial Rule. - Haris Aziz 001; Serge Gaspers; Simon Mackenzie; Nicholas Mattei; Nina Narodytska; Toby Walsh (IJCAI, 2015)

Maximum Satisfiability Using Cores and Correction Sets. - Nikolaj S. Bjørner; Nina Narodytska (IJCAI, 2015)

A SAT-Based Counterexample Guided Method for Unbounded Synthesis. - Alexander Legg; Nina Narodytska; Leonid Ryzhyk (CAV (2), 2016)

Adaptive Condorcet-Based Stopping Rules Can Be Efficient. - Omer Reingold; Nina Narodytska (ECAI, 2016)

The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants & Results. - Swen Jacobs; Roderick Bloem; Romain Brenguier; Ayrat Khalimov 001; Felix Klein 001; Robert Könighofer; Jens Kreber; Alexander Legg; Nina Narodytska; Guillermo A. Pérez 001; Jean-François Raskin; Leonid Ryzhyk; et al. (SYNT@CAV, 2016)

Simple Black-Box Adversarial Perturbations for Deep Networks. - Nina Narodytska; Shiva Prasad Kasiviswanathan (CoRR, 2016)

New Approaches to Constraint Acquisition. - Christian Bessiere; Abderrazak Daoudi; Emmanuel Hebrard; George Katsirelos; Nadjib Lazaar; Younes Mechqrane; Nina Narodytska; Claude-Guy Quimper; Toby Walsh (Data Mining and Constraint Programming, 2016)

Simple Black-Box Adversarial Attacks on Deep Neural Networks. - Nina Narodytska; Shiva Prasad Kasiviswanathan (CVPR Workshops, 2017)

Deep Neural Network Approximation using Tensor Sketching. - Shiva Prasad Kasiviswanathan; Nina Narodytska; Hongxia Jin (CoRR, 2017)

Verifying Properties of Binarized Deep Neural Networks. - Nina Narodytska; Shiva Prasad Kasiviswanathan; Leonid Ryzhyk; Mooly Sagiv; Toby Walsh (AAAI, 2018)

A SAT-Based Approach to Learn Explainable Decision Sets. - Alexey Ignatiev; Filipe Pereira; Nina Narodytska; João Marques-Silva 001 (IJCAR, 2018)

Formal Verification of Deep Neural Networks. - Nina Narodytska (FMCAD, 2018)

Network Approximation using Tensor Sketching. - Shiva Prasad Kasiviswanathan; Nina Narodytska; Hongxia Jin (IJCAI, 2018)

Formal Analysis of Deep Binarized Neural Networks. - Nina Narodytska (IJCAI, 2018)

Core-Guided Minimal Correction Set and Core Enumeration. - Nina Narodytska; Nikolaj S. Bjørner; Maria-Cristina V. Marinescu; Mooly Sagiv (IJCAI, 2018)

Learning Optimal Decision Trees with SAT. - Nina Narodytska; Alexey Ignatiev; Filipe Pereira; João Marques-Silva 001 (IJCAI, 2018)

Constrained Image Generation Using Binarized Neural Networks with Decision Procedures. - Svyatoslav Korneev; Nina Narodytska; Luca Pulina; Armando Tacchella; Nikolaj S. Bjørner; Mooly Sagiv (SAT, 2018)

Automated Verification of Neural Networks: Advances, Challenges and Perspectives. - Francesco Leofante; Nina Narodytska; Luca Pulina; Armando Tacchella (CoRR, 2018)

Abduction-Based Explanations for Machine Learning Models. - Alexey Ignatiev; Nina Narodytska; João Marques-Silva 001 (AAAI, 2019)

BDD-Based Algorithms for Packet Classification. - Nina Narodytska; Leonid Ryzhyk; Igor Ganichev; Soner Sevinc (FMCAD, 2019)

Synthesizing Cluster Management Code for Distributed Systems. - Lalith Suresh 001; João Loff; Nina Narodytska; Leonid Ryzhyk; Mooly Sagiv; Brian Oki (HotOS, 2019)

RelGAN: Relational Generative Adversarial Networks for Text Generation. - Weili Nie; Nina Narodytska; Ankit Patel (ICLR (Poster), 2019)

On Relating Explanations and Adversarial Examples. - Alexey Ignatiev; Nina Narodytska; João Marques-Silva 001 (NeurIPS, 2019)

Simple and precise static analysis of untrusted Linux kernel extensions. - Elazar Gershuni; Nadav Amit; Arie Gurfinkel; Nina Narodytska; Jorge A. Navas; Noam Rinetzky; Leonid Ryzhyk; Mooly Sagiv (PLDI, 2019)

Assessing Heuristic Machine Learning Explanations with Model Counting. - Nina Narodytska; Aditya A. Shrotri; Kuldeep S. Meel; Alexey Ignatiev; João Marques-Silva 001 (SAT, 2019)

On Validating, Repairing and Refining Heuristic ML Explanations. - Alexey Ignatiev; Nina Narodytska; João Marques-Silva 001 (CoRR, 2019)

Automating Cluster Management with Weave. - Lalith Suresh 001; João Loff; Faria Kalim; Nina Narodytska; Leonid Ryzhyk; Sahan Gamage; Brian Oki; Zeeshan Lokhandwala; Mukesh Hira; Mooly Sagiv (CoRR, 2019)

From Contrastive to Abductive Explanations and Back Again. - Alexey Ignatiev; Nina Narodytska; Nicholas Asher; João Marques-Silva 001 (AI*IA, 2020)

Verification of Recurrent Neural Networks for Cognitive Tasks via Reachability Analysis. - Hongce Zhang; Maxwell Shinn; Aarti Gupta; Arie Gurfinkel; Nham Le; Nina Narodytska (ECAI, 2020)

In Search for a SAT-friendly Binarized Neural Network Architecture. - Nina Narodytska; Hongce Zhang; Aarti Gupta; Toby Walsh (ICLR, 2020)

Explaining Naive Bayes and Other Linear Classifiers with Polynomial Time and Delay. - João Marques-Silva 001; Thomas Gerspacher; Martin C. Cooper; Alexey Ignatiev; Nina Narodytska (NeurIPS, 2020)

Building Scalable and Flexible Cluster Managers Using Declarative Programming. - Lalith Suresh 001; João Loff; Faria Kalim; Sangeetha Abdu Jyothi; Nina Narodytska; Leonid Ryzhyk; Sahan Gamage; Brian Oki; Pranshu Jain; Michael Gasch (OSDI, 2020)

Partial Queries for Constraint Acquisition. - Christian Bessiere; Clément Carbonnel; Anton Dries; Emmanuel Hebrard; George Katsirelos; Nadjib Lazaar; Nina Narodytska; Claude-Guy Quimper; Kostas Stergiou 001; Dimosthenis C. Tsouros; Toby Walsh (CoRR, 2020)

On Relating 'Why?' and 'Why Not?' Explanations. - Alexey Ignatiev; Nina Narodytska; Nicholas Asher; João Marques-Silva 001 (CoRR, 2020)

Explanations for Monotonic Classifiers. - João Marques-Silva 001; Thomas Gerspacher; Martin C. Cooper; Alexey Ignatiev; Nina Narodytska (ICML, 2021)

Reasoning-Based Learning of Interpretable ML Models. - Alexey Ignatiev; João Marques-Silva 001; Nina Narodytska; Peter J. Stuckey (IJCAI, 2021)

Analyzing Learning-Based Networked Systems with Formal Verification. - Arnaud Dethise; Marco Canini; Nina Narodytska (INFOCOM, 2021)

Efficient Explanations With Relevant Sets. - Yacine Izza; Alexey Ignatiev; Nina Narodytska; Martin C. Cooper; João Marques-Silva 001 (CoRR, 2021)

Constraint-Driven Explanations for Black-Box ML Models. - Aditya A. Shrotri; Nina Narodytska; Alexey Ignatiev; Kuldeep S. Meel; João Marques-Silva 001; Moshe Y. Vardi (AAAI, 2022)

Analysis of Core-Guided MaxSat Using Cores and Correction Sets. - Nina Narodytska; Nikolaj S. Bjørner (SAT, 2022)

KL Divergence Estimation with Multi-group Attribution. - Parikshit Gopalan; Nina Narodytska; Omer Reingold; Vatsal Sharan; Udi Wieder (CoRR, 2022)

Provably Precise, Succinct and Efficient Explanations for Decision Trees. - Yacine Izza; Alexey Ignatiev; Nina Narodytska; Martin C. Cooper; João Marques-Silva 001 (CoRR, 2022)

Eliminating The Impossible, Whatever Remains Must Be True. - Jinqiang Yu; Alexey Ignatiev; Peter J. Stuckey; Nina Narodytska; João Marques-Silva 001 (CoRR, 2022)

Scalable verification of GNN-based job schedulers. - Haoze Wu 001; Clark W. Barrett; Mahmood Sharif; Nina Narodytska; Gagandeep Singh 001 (Proc. ACM Program. Lang., 2022)

Artifact for Paper Scalable Verification of GNN-Based Job Schedulers. - Haoze Wu 001; Clark W. Barrett; Mahmood Sharif; Nina Narodytska; Gagandeep Singh 001 (Zenodo, 2022)

Eliminating the Impossible, Whatever Remains Must Be True: On Extracting and Applying Background Knowledge in the Context of Formal Explanations. - Jinqiang Yu; Alexey Ignatiev; Peter J. Stuckey; Nina Narodytska; João Marques-Silva 001 (AAAI, 2023)

The FMCAD 2023 Student Forum. - Mikolas Janota; Nina Narodytska (FMCAD, 2023)

Prioritized Trace Selection: Towards High-Performance DRL-based Network Controllers. - Sagar Patel; Junyang Zhang; Sangeetha Abdu Jyothi; Nina Narodytska (CoRR, 2023)

CrystalBox: Future-Based Explanations for DRL Network Controllers. - Sagar Patel; Sangeetha Abdu Jyothi; Nina Narodytska (CoRR, 2023)

Learning constraints through partial queries. - Christian Bessiere; Clément Carbonnel; Anton Dries; Emmanuel Hebrard; George Katsirelos; Nadjib Lazaar; Nina Narodytska; Claude-Guy Quimper; Kostas Stergiou 001; Dimosthenis C. Tsouros; Toby Walsh (Artif. Intell., 2023)

On computing probabilistic abductive explanations. - Yacine Izza; Xuanxiang Huang; Alexey Ignatiev; Nina Narodytska; Martin C. Cooper; João Marques-Silva 001 (Int. J. Approx. Reason., 2023)

Towards Future-Based Explanations for Deep RL Network Controllers. - Sagar Patel; Sangeetha Abdu Jyothi; Nina Narodytska (SIGMETRICS Perform. Evaluation Rev., 2023)

CrystalBox: Future-Based Explanations for Input-Driven Deep RL Systems. - Sagar Patel; Sangeetha Abdu Jyothi; Nina Narodytska (AAAI, 2024)

Toward Trustworthy Learning-Enabled Systems with Concept-Based Explanations. - Sagar Patel; Dongsu Han; Nina Narodytska; Sangeetha Abdu Jyothi (HotNets, 2024)

Lemur: Integrating Large Language Models in Automated Program Verification. - Haoze Wu 001; Clark W. Barrett; Nina Narodytska (ICLR, 2024)

Concept-Based Analysis of Neural Networks via Vision-Language Models. - Ravi Mangal; Nina Narodytska; Divya Gopinath; Boyue Caroline Hu; Anirban Roy; Susmit Jha; Corina S. Pasareanu (SAIV, 2024)

Lucy: Think and Reason to Solve Text-to-SQL. - Nina Narodytska; Shay Vargaftik (CoRR, 2024)

Practically High Performant Neural Adaptive Video Streaming. - Sagar Patel; Junyang Zhang; Nina Narodytska; Sangeetha Abdu Jyothi (PACMNET, 2024)

Corrigendum to "Learning constraints through partial queries" [Artificial Intelligence 319 (2023) 103896]. - Christian Bessiere; Clément Carbonnel; Anton Dries; Emmanuel Hebrard; George Katsirelos; Nadjib Lazaar; Nina Narodytska; Claude-Guy Quimper; Kostas Stergiou 001; Dimosthenis C. Tsouros; Toby Walsh (Artif. Intell., 2024)

Debugging and Runtime Analysis of Neural Networks with VLMs (A Case Study). - Boyue Caroline Hu; Divya Gopinath; Corina S. Pasareanu; Nina Narodytska; Ravi Mangal; Susmit Jha (CAIN, 2025)

Agua: A Concept-Based Explainer for Learning-Enabled Systems. - Sagar Patel; Dongsu Han; Nina Narodytska; Sangeetha Abdu Jyothi (SIGCOMM, 2025)

Cubing for Tuning. - Haoze Wu 001; Clark W. Barrett; Nina Narodytska (CoRR, 2025)

HoneyBee: Efficient Role-based Access Control for Vector Databases via Dynamic Partitioning. - Hongbin Zhong; Matthew Lentz; Nina Narodytska; Adriana Szekeres; Kexin Rong 001 (CoRR, 2025)

SpotIt: Evaluating Text-to-SQL Evaluation with Formal Verification. - Rocky Klopfenstein; Yang He; Andrew Tremante; Yuepeng Wang; Nina Narodytska; Haoze Wu (CoRR, 2025)