Nina Narodytska

165 papers A* 40A 24B 12Misc 1Journal 73Unranked 10
YearRankTypeTitle / Venue / Authors
2026 A* conf
Cubing for Tuning.
AAAI
Haoze Wu, Clark W. Barrett, Nina Narodytska
2026 J jnl
Not All Invariants Are Equal: Curating Training Data to Accelerate Program Verification with SLMs.
CoRR
Ido Pinto, Yizhak Yisrael Elboher, Haoze Wu, Nina Narodytska, Guy Katz
2026 J jnl
SpotIt+: Verification-based Text-to-SQL Evaluation with Database Constraints.
CoRR
Andrew Tremante, Yang He, Rocky Klopfenstein, Yuepeng Wang, Nina Narodytska, Haoze Wu
2025 A* conf
Agua: A Concept-Based Explainer for Learning-Enabled Systems.
SIGCOMM
Sagar Patel, Dongsu Han, Nina Narodytska, Sangeetha Abdu Jyothi
2025 J jnl
Cubing for Tuning.
CoRR
Haoze Wu, Clark W. Barrett, Nina Narodytska
2025 B conf
Debugging and Runtime Analysis of Neural Networks with VLMs (A Case Study).
CAIN
Boyue Caroline Hu, Divya Gopinath, Corina S. Pasareanu, Nina Narodytska, Ravi Mangal, Susmit Jha
2025 J jnl
Debugging and Runtime Analysis of Neural Networks with VLMs (A Case Study).
CoRR
Boyue Caroline Hu, Divya Gopinath, Corina S. Pasareanu, Nina Narodytska, Ravi Mangal, Susmit Jha
2025 J jnl
HoneyBee: Efficient Role-based Access Control for Vector Databases via Dynamic Partitioning.
CoRR
Hongbin Zhong, Matthew Lentz, Nina Narodytska, Adriana Szekeres, Kexin Rong
2025 B conf
Integrating Large Language Models in Automated Program Verification.
FMCAD
Nina Narodytska
2025 B conf
Per-Instance Subproblem Generation for Strategy Selection in SMT.
FMCAD
Amalee Wilson, Nina Narodytska, Clark W. Barrett, Haoze Wu
2025 J jnl
SpotIt: Evaluating Text-to-SQL Evaluation with Formal Verification.
CoRR
Rocky Klopfenstein, Yang He, Andrew Tremante, Yuepeng Wang, Nina Narodytska, Haoze Wu
2024 — ed.
AI Verification - First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22-23, 2024, Proceedings
SAIV
Guy Avni, Mirco Giacobbe, Taylor T. Johnson, Guy Katz, Anna Lukina, Nina Narodytska, Christian Schilling
2024 — conf
Concept-Based Analysis of Neural Networks via Vision-Language Models.
SAIV
Ravi Mangal, Nina Narodytska, Divya Gopinath, Boyue Caroline Hu, Anirban Roy, Susmit Jha, Corina S. Pasareanu
2024 J jnl
Concept-based Analysis of Neural Networks via Vision-Language Models.
CoRR
Ravi Mangal, Nina Narodytska, Divya Gopinath, Boyue Caroline Hu, Anirban Roy, Susmit Jha, Corina S. Pasareanu
2024 J jnl
Corrigendum to "Learning constraints through partial queries" [Artificial Intelligence 319 (2023) 103896].
Artif. Intell.
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
2024 A* conf
CrystalBox: Future-Based Explanations for Input-Driven Deep RL Systems.
AAAI
Sagar Patel, Sangeetha Abdu Jyothi, Nina Narodytska
2024 B ed.
Formal Methods in Computer-Aided Design, FMCAD 2024, Prague, Czech Republic, October 15-18, 2024
FMCAD
Nina Narodytska, Philipp Rümmer
2024 A* conf
Lemur: Integrating Large Language Models in Automated Program Verification.
ICLR
Haoze Wu, Clark W. Barrett, Nina Narodytska
2024 J jnl
Lucy: Think and Reason to Solve Text-to-SQL.
CoRR
Nina Narodytska, Shay Vargaftik
2024 J jnl
Practically High Performant Neural Adaptive Video Streaming.
PACMNET
Sagar Patel, Junyang Zhang, Nina Narodytska, Sangeetha Abdu Jyothi
2024 Misc conf
Toward Trustworthy Learning-Enabled Systems with Concept-Based Explanations.
HotNets
Sagar Patel, Dongsu Han, Nina Narodytska, Sangeetha Abdu Jyothi
2023 J jnl
CrystalBox: Future-Based Explanations for DRL Network Controllers.
CoRR
Sagar Patel, Sangeetha Abdu Jyothi, Nina Narodytska
2023 A* conf
Eliminating the Impossible, Whatever Remains Must Be True: On Extracting and Applying Background Knowledge in the Context of Formal Explanations.
AAAI
Jinqiang Yu, Alexey Ignatiev, Peter J. Stuckey, Nina Narodytska, João Marques-Silva
2023 J jnl
Learning constraints through partial queries.
Artif. Intell.
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
2023 J jnl
Lemur: Integrating Large Language Models in Automated Program Verification.
CoRR
Haoze Wu, Clark W. Barrett, Nina Narodytska
2023 J jnl
On computing probabilistic abductive explanations.
Int. J. Approx. Reason.
Yacine Izza, Xuanxiang Huang, Alexey Ignatiev, Nina Narodytska, Martin C. Cooper, João Marques-Silva
2023 J jnl
Prioritized Trace Selection: Towards High-Performance DRL-based Network Controllers.
CoRR
Sagar Patel, Junyang Zhang, Sangeetha Abdu Jyothi, Nina Narodytska
2023 — ed.
Proceedings of the 6th Workshop on Formal Methods for ML-Enabled Autonomous Systems, FoMLAS@CAV 2023, Paris, France, July 17-18, 2023.
FoMLAS@CAV
Nina Narodytska, Guy Amir, Guy Katz, Omri Isac
2023 B conf
The FMCAD 2023 Student Forum.
FMCAD
Mikolas Janota, Nina Narodytska
2023 J jnl
Towards Future-Based Explanations for Deep RL Network Controllers.
SIGMETRICS Perform. Evaluation Rev.
Sagar Patel, Sangeetha Abdu Jyothi, Nina Narodytska
2022 A conf
Analysis of Core-Guided MaxSat Using Cores and Correction Sets.
SAT
Nina Narodytska, Nikolaj S. Bjørner
2022 A* conf
Constraint-Driven Explanations for Black-Box ML Models.
AAAI
Aditya A. Shrotri, Nina Narodytska, Alexey Ignatiev, Kuldeep S. Meel, João Marques-Silva, Moshe Y. Vardi
2022 J jnl
Eliminating The Impossible, Whatever Remains Must Be True.
CoRR
Jinqiang Yu, Alexey Ignatiev, Peter J. Stuckey, Nina Narodytska, João Marques-Silva
2022 J jnl
KL Divergence Estimation with Multi-group Attribution.
CoRR
Parikshit Gopalan, Nina Narodytska, Omer Reingold, Vatsal Sharan, Udi Wieder
2022 J jnl
On Computing Probabilistic Abductive Explanations.
CoRR
Yacine Izza, Xuanxiang Huang, Alexey Ignatiev, Nina Narodytska, Martin C. Cooper, João Marques-Silva
2022 J jnl
Provably Precise, Succinct and Efficient Explanations for Decision Trees.
CoRR
Yacine Izza, Alexey Ignatiev, Nina Narodytska, Martin C. Cooper, João Marques-Silva
2022 J jnl
Scalable Verification of GNN-based Job Schedulers.
CoRR
Haoze Wu, Clark W. Barrett, Mahmood Sharif, Nina Narodytska, Gagandeep Singh
2022 J jnl
Scalable verification of GNN-based job schedulers.
Proc. ACM Program. Lang.
Haoze Wu, Clark W. Barrett, Mahmood Sharif, Nina Narodytska, Gagandeep Singh
2022 — ed.
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
NSV/FoMLAS@CAV
Omri Isac, Radoslav Ivanov, Guy Katz, Nina Narodytska, Laura Nenzi
2021 A* conf
Analyzing Learning-Based Networked Systems with Formal Verification.
INFOCOM
Arnaud Dethise, Marco Canini, Nina Narodytska
2021 J jnl
Efficient Explanations With Relevant Sets.
CoRR
Yacine Izza, Alexey Ignatiev, Nina Narodytska, Martin C. Cooper, João Marques-Silva
2021 A* conf
Explanations for Monotonic Classifiers.
ICML
João Marques-Silva, Thomas Gerspacher, Martin C. Cooper, Alexey Ignatiev, Nina Narodytska
2021 J jnl
Explanations for Monotonic Classifiers.
CoRR
João Marques-Silva, Thomas Gerspacher, Martin C. Cooper, Alexey Ignatiev, Nina Narodytska
2021 A* conf
Reasoning-Based Learning of Interpretable ML Models.
IJCAI
Alexey Ignatiev, João Marques-Silva, Nina Narodytska, Peter J. Stuckey
2020 A* conf
Building Scalable and Flexible Cluster Managers Using Declarative Programming.
OSDI
Lalith Suresh, João Loff, Faria Kalim, Sangeetha Abdu Jyothi, Nina Narodytska, Leonid Ryzhyk, Sahan Gamage, Brian Oki, Pranshu Jain, Michael Gasch
2020 A* conf
Explaining Naive Bayes and Other Linear Classifiers with Polynomial Time and Delay.
NeurIPS
João Marques-Silva, Thomas Gerspacher, Martin C. Cooper, Alexey Ignatiev, Nina Narodytska
2020 J jnl
Explaining Naive Bayes and Other Linear Classifiers with Polynomial Time and Delay.
CoRR
João Marques-Silva, Thomas Gerspacher, Martin C. Cooper, Alexey Ignatiev, Nina Narodytska
2020 — conf
From Contrastive to Abductive Explanations and Back Again.
AI*IA
Alexey Ignatiev, Nina Narodytska, Nicholas Asher, João Marques-Silva
2020 A* conf
In Search for a SAT-friendly Binarized Neural Network Architecture.
ICLR
Nina Narodytska, Hongce Zhang, Aarti Gupta, Toby Walsh
2020 J jnl
On Relating 'Why?' and 'Why Not?' Explanations.
CoRR
Alexey Ignatiev, Nina Narodytska, Nicholas Asher, João Marques-Silva
2020 J jnl
Partial Queries for Constraint Acquisition.
CoRR
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
2020 A conf
Verification of Recurrent Neural Networks for Cognitive Tasks via Reachability Analysis.
ECAI
Hongce Zhang, Maxwell Shinn, Aarti Gupta, Arie Gurfinkel, Nham Le, Nina Narodytska
2019 A* conf
Abduction-Based Explanations for Machine Learning Models.
AAAI
Alexey Ignatiev, Nina Narodytska, João Marques-Silva
2019 A conf
Assessing Heuristic Machine Learning Explanations with Model Counting.
SAT
Nina Narodytska, Aditya A. Shrotri, Kuldeep S. Meel, Alexey Ignatiev, João Marques-Silva
2019 J jnl
Automating Cluster Management with Weave.
CoRR
Lalith Suresh, João Loff, Faria Kalim, Nina Narodytska, Leonid Ryzhyk, Sahan Gamage, Brian Oki, Zeeshan Lokhandwala, Mukesh Hira, Mooly Sagiv
2019 B conf
BDD-Based Algorithms for Packet Classification.
FMCAD
Nina Narodytska, Leonid Ryzhyk, Igor Ganichev, Soner Sevinc
2019 A* conf
On Relating Explanations and Adversarial Examples.
NeurIPS
Alexey Ignatiev, Nina Narodytska, João Marques-Silva
2019 J jnl
On Validating, Repairing and Refining Heuristic ML Explanations.
CoRR
Alexey Ignatiev, Nina Narodytska, João Marques-Silva
2019 — conf
RelGAN: Relational Generative Adversarial Networks for Text Generation.
ICLR (Poster)
Weili Nie, Nina Narodytska, Ankit Patel
2019 A* conf
Simple and precise static analysis of untrusted Linux kernel extensions.
PLDI
Elazar Gershuni, Nadav Amit, Arie Gurfinkel, Nina Narodytska, Jorge A. Navas, Noam Rinetzky, Leonid Ryzhyk, Mooly Sagiv
2019 A conf
Synthesizing Cluster Management Code for Distributed Systems.
HotOS
Lalith Suresh, João Loff, Nina Narodytska, Leonid Ryzhyk, Mooly Sagiv, Brian Oki
2018 A conf
A SAT-Based Approach to Learn Explainable Decision Sets.
IJCAR
Alexey Ignatiev, Filipe Pereira, Nina Narodytska, João Marques-Silva
2018 J jnl
Abduction-Based Explanations for Machine Learning Models.
CoRR
Alexey Ignatiev, Nina Narodytska, João Marques-Silva
2018 J jnl
Automated Verification of Neural Networks: Advances, Challenges and Perspectives.
CoRR
Francesco Leofante, Nina Narodytska, Luca Pulina, Armando Tacchella
2018 A conf
Constrained Image Generation Using Binarized Neural Networks with Decision Procedures.
SAT
Svyatoslav Korneev, Nina Narodytska, Luca Pulina, Armando Tacchella, Nikolaj S. Bjørner, Mooly Sagiv
2018 J jnl
Constrained Image Generation Using Binarized Neural Networks with Decision Procedures.
CoRR
Svyatoslav Korneev, Nina Narodytska, Luca Pulina, Armando Tacchella, Nikolaj S. Bjørner, Mooly Sagiv
2018 A* conf
Core-Guided Minimal Correction Set and Core Enumeration.
IJCAI
Nina Narodytska, Nikolaj S. Bjørner, Maria-Cristina V. Marinescu, Mooly Sagiv
2018 A* conf
Formal Analysis of Deep Binarized Neural Networks.
IJCAI
Nina Narodytska
2018 B conf
Formal Verification of Deep Neural Networks.
FMCAD
Nina Narodytska
2018 A* conf
Learning Optimal Decision Trees with SAT.
IJCAI
Nina Narodytska, Alexey Ignatiev, Filipe Pereira, João Marques-Silva
2018 A* conf
Network Approximation using Tensor Sketching.
IJCAI
Shiva Prasad Kasiviswanathan, Nina Narodytska, Hongxia Jin
2018 A* conf
Verifying Properties of Binarized Deep Neural Networks.
AAAI
Nina Narodytska, Shiva Prasad Kasiviswanathan, Leonid Ryzhyk, Mooly Sagiv, Toby Walsh
2017 J jnl
Deep Neural Network Approximation using Tensor Sketching.
CoRR
Shiva Prasad Kasiviswanathan, Nina Narodytska, Hongxia Jin
2017 — conf
Simple Black-Box Adversarial Attacks on Deep Neural Networks.
CVPR Workshops
Nina Narodytska, Shiva Prasad Kasiviswanathan
2017 J jnl
Verifying Properties of Binarized Deep Neural Networks.
CoRR
Nina Narodytska, Shiva Prasad Kasiviswanathan, Leonid Ryzhyk, Mooly Sagiv, Toby Walsh
2016 — conf
A SAT-Based Counterexample Guided Method for Unbounded Synthesis.
CAV (2)
Alexander Legg, Nina Narodytska, Leonid Ryzhyk
2016 A conf
Adaptive Condorcet-Based Stopping Rules Can Be Efficient.
ECAI
Omer Reingold, Nina Narodytska
2016 — ch.
New Approaches to Constraint Acquisition.
Data Mining and Constraint Programming
Christian Bessiere, Abderrazak Daoudi, Emmanuel Hebrard, George Katsirelos, Nadjib Lazaar, Younes Mechqrane, Nina Narodytska, Claude-Guy Quimper, Toby Walsh
2016 J jnl
Simple Black-Box Adversarial Perturbations for Deep Networks.
CoRR
Nina Narodytska, Shiva Prasad Kasiviswanathan
2016 — conf
The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants & Results.
SYNT@CAV
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
2016 J jnl
Three generalizations of the FOCUS constraint.
Constraints An Int. J.
Nina Narodytska, Thierry Petit, Mohamed Siala, Toby Walsh
2015 A conf
Controlling Elections by Replacing Candidates or Votes.
AAMAS
Andrea Loreggia, Nina Narodytska, Francesca Rossi, K. Brent Venable, Toby Walsh
2015 A* conf
Equilibria Under the Probabilistic Serial Rule.
IJCAI
Haris Aziz, Serge Gaspers, Simon Mackenzie, Nicholas Mattei, Nina Narodytska, Toby Walsh
2015 J jnl
Equilibria Under the Probabilistic Serial Rule.
CoRR
Haris Aziz, Serge Gaspers, Simon Mackenzie, Nicholas Mattei, Nina Narodytska, Toby Walsh
2015 A conf
Manipulating the Probabilistic Serial Rule.
AAMAS
Haris Aziz, Serge Gaspers, Simon Mackenzie, Nicholas Mattei, Nina Narodytska, Toby Walsh
2015 J jnl
Manipulating the Probabilistic Serial Rule.
CoRR
Haris Aziz, Serge Gaspers, Simon Mackenzie, Nicholas Mattei, Nina Narodytska, Toby Walsh
2015 A* conf
Maximum Satisfiability Using Cores and Correction Sets.
IJCAI
Nikolaj S. Bjørner, Nina Narodytska
2015 A* conf
SAT-Based Strategy Extraction in Reachability Games.
AAAI
Niklas Eén, Alexander Legg, Nina Narodytska, Leonid Ryzhyk
2014 A* conf
A Game-Theoretic Analysis of Catalog Optimization.
AAAI
Joel Oren, Nina Narodytska, Craig Boutilier
2014 J jnl
Complexity of and algorithms for the manipulation of Borda, Nanson's and Baldwin's voting rules.
Artif. Intell.
Jessica Davies, George Katsirelos, Nina Narodytska, Toby Walsh, Lirong Xia
2014 — conf
Controlling Elections by Replacing Candidates: Theoretical and Experimental Results.
MPREF@AAAI
Andrea Loreggia, Nina Narodytska, Francesca Rossi, K. Brent Venable, Toby Walsh
2014 A conf
Cores in Core Based MaxSat Algorithms: An Analysis.
SAT
Fahiem Bacchus, Nina Narodytska
2014 A conf
How Hard Is It to Control an Election by Breaking Ties?
ECAI
Nicholas Mattei, Nina Narodytska, Toby Walsh
2014 A* conf
Maximum Satisfiability Using Core-Guided MaxSAT Resolution.
AAAI
Nina Narodytska, Fahiem Bacchus
2014 A conf
Possible and necessary winner problem in social polls.
AAMAS
Serge Gaspers, Victor Naroditskiy, Nina Narodytska, Toby Walsh
2014 B conf
Reasoning about Constraint Models.
PRICAI
Christian Bessiere, Emmanuel Hebrard, George Katsirelos, Zeynep Kiziltan, Nina Narodytska, Toby Walsh
2014 A* conf
Solving Games without Controllable Predecessor.
CAV
Nina Narodytska, Alexander Legg, Fahiem Bacchus, Leonid Ryzhyk, Adam Walker
2014 J jnl
Strategic aspects of the probabilistic serial rule for the allocation of goods.
CoRR
Haris Aziz, Serge Gaspers, Nicholas Mattei, Nina Narodytska, Toby Walsh
2014 J jnl
The Complexity of Integer Bound Propagation.
CoRR
Lucas Bordeaux, George Katsirelos, Nina Narodytska, Moshe Y. Vardi
2014 A conf
The Computational Impact of Partial Votes on Strategic Voting.
ECAI
Nina Narodytska, Toby Walsh
2014 J jnl
The Computational Impact of Partial Votes on Strategic Voting.
CoRR
Nina Narodytska, Toby Walsh
2013 J jnl
A Social Welfare Optimal Sequential Allocation Procedure
CoRR
Thomas Kalinowski, Nina Narodytska, Toby Walsh
2013 A* conf
A Social Welfare Optimal Sequential Allocation Procedure.
IJCAI
Thomas Kalinowski, Nina Narodytska, Toby Walsh
2013 B conf
An Adaptive Model Restarts Heuristic.
CPAIOR
Nina Narodytska, Toby Walsh
2013 A conf
Breaking Symmetry with Different Orderings.
CP
Nina Narodytska, Toby Walsh
2013 J jnl
Breaking Symmetry with Different Orderings.
CoRR
Nina Narodytska, Toby Walsh
2013 J jnl
Coalitional Manipulation for Schulze's Rule
CoRR
Serge Gaspers, Thomas Kalinowski, Nina Narodytska, Toby Walsh
2013 A conf
Coalitional manipulation for Schulze's rule.
AAMAS
Serge Gaspers, Thomas Kalinowski, Nina Narodytska, Toby Walsh
2013 A* conf
Constraint Acquisition via Partial Queries.
IJCAI
Christian Bessiere, Remi Coletta, Emmanuel Hebrard, George Katsirelos, Nadjib Lazaar, Nina Narodytska, Claude-Guy Quimper, Toby Walsh
2013 J jnl
Constraint satisfaction problems: Convexity makes AllDifferent constraints tractable.
Theor. Comput. Sci.
Michael R. Fellows, Tobias Friedrich, Danny Hermelin, Nina Narodytska, Frances A. Rosamond
2013 J jnl
Global SPACING Constraint (Technical Report)
CoRR
Nina Narodytska, Peter Skocovsky, Toby Walsh
2013 J jnl
How hard is it to control an election by breaking ties?
CoRR
Nicholas Mattei, Nina Narodytska, Toby Walsh
2013 A conf
Manipulating two stage voting rules.
AAMAS
Nina Narodytska, Toby Walsh
2013 A* conf
On the Complexity of Global Scheduling Constraints under Structural Restrictions.
IJCAI
Geoffrey Chu, Serge Gaspers, Nina Narodytska, Andreas Schutt, Toby Walsh
2013 J jnl
Possible and Necessary Winner Problem in Social Polls
CoRR
Serge Gaspers, Victor Naroditskiy, Nina Narodytska, Toby Walsh
2013 A conf
Possible and necessary winner problem in social polls.
AAMAS
Serge Gaspers, Victor Naroditskiy, Nina Narodytska, Toby Walsh
2013 A* conf
Strategic Behavior when Allocating Indivisible Goods Sequentially.
AAAI
Thomas Kalinowski, Nina Narodytska, Toby Walsh, Lirong Xia
2013 J jnl
Three Generalizations of the FOCUS Constraint
CoRR
Nina Narodytska, Thierry Petit, Mohamed Siala, Toby Walsh
2013 A* conf
Three Generalizations of the FOCUS Constraint.
IJCAI
Nina Narodytska, Thierry Petit, Mohamed Siala, Toby Walsh
2013 A* conf
Ties Matter: Complexity of Manipulation when Tie-Breaking with a Random Vote.
AAAI
Haris Aziz, Serge Gaspers, Nicholas Mattei, Nina Narodytska, Toby Walsh
2012 J jnl
Combining Voting Rules Together
CoRR
Nina Narodytska, Toby Walsh, Lirong Xia
2012 A conf
Combining Voting Rules Together.
ECAI
Nina Narodytska, Toby Walsh, Lirong Xia
2012 A* conf
Eliminating the Weakest Link: Making Manipulation Intractable?
AAAI
Jessica Davies, Nina Narodytska, Toby Walsh
2012 J jnl
Eliminating the Weakest Link: Making Manipulation Intractable?
CoRR
Jessica Davies, Nina Narodytska, Toby Walsh
2012 — conf
On the Violation of Circuits in Decomposable Negation Normal Form.
Australasian Conference on Artificial Intelligence
Lucas Bordeaux, Nina Narodytska
2012 J jnl
The RegularGcc Matrix Constraint
CoRR
Ronald de Haan, Nina Narodytska, Toby Walsh
2012 — conf
The RegularGcc Matrix Constraint.
Australasian Conference on Artificial Intelligence
Ronald de Haan, Nina Narodytska, Toby Walsh
2012 J jnl
The SeqBin Constraint Revisited
CoRR
George Katsirelos, Nina Narodytska, Toby Walsh
2012 A conf
The SeqBin Constraint Revisited.
CP
George Katsirelos, Nina Narodytska, Toby Walsh
2011 J jnl
Complexity of and Algorithms for Borda Manipulation
CoRR
Jessica Davies, George Katsirelos, Nina Narodytska, Toby Walsh
2011 A* conf
Complexity of and Algorithms for Borda Manipulation.
AAAI
Jessica Davies, George Katsirelos, Nina Narodytska, Toby Walsh
2011 A* conf
Constraint Satisfaction Problems: Convexity Makes AllDifferent Constraints Tractable.
IJCAI
Michael R. Fellows, Tobias Friedrich, Danny Hermelin, Nina Narodytska, Frances A. Rosamond
2011 J jnl
Manipulation of Nanson's and Baldwin's Rules
CoRR
Nina Narodytska, Toby Walsh, Lirong Xia
2011 A* conf
Manipulation of Nanson's and Baldwin's Rules.
AAAI
Nina Narodytska, Toby Walsh, Lirong Xia
2011 — —
Reformulation of global constraints.
Nina Narodytska
2011 J jnl
The AllDifferent Constraint with Precedences
CoRR
Christian Bessiere, Nina Narodytska, Claude-Guy Quimper, Toby Walsh
2011 B conf
The AllDifferent Constraint with Precedences.
CPAIOR
Christian Bessiere, Nina Narodytska, Claude-Guy Quimper, Toby Walsh
2011 J jnl
The Complexity of Integer Bound Propagation.
J. Artif. Intell. Res.
Lucas Bordeaux, George Katsirelos, Nina Narodytska, Moshe Y. Vardi
2011 J jnl
The weighted Grammar constraint.
Ann. Oper. Res.
George Katsirelos, Nina Narodytska, Toby Walsh
2010 J jnl
An Empirical Study of Borda Manipulation
CoRR
Jessica Davies, George Katsirelos, Nina Narodytska, Toby Walsh
2010 J jnl
Decomposition of the NVALUE constraint
CoRR
Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh
2010 A conf
Decomposition of the NValue Constraint.
CP
Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh
2010 J jnl
On The Complexity and Completeness of Static Constraints for Breaking Row and Column Symmetry
CoRR
George Katsirelos, Nina Narodytska, Toby Walsh
2010 A conf
On the Complexity and Completeness of Static Constraints for Breaking Row and Column Symmetry.
CP
George Katsirelos, Nina Narodytska, Toby Walsh
2010 J jnl
Propagating Conjunctions of AllDifferent Constraints
CoRR
Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh
2010 A* conf
Propagating Conjunctions of AllDifferent Constraints.
AAAI
Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh
2009 J jnl
Breaking Generator Symmetry
CoRR
George Katsirelos, Nina Narodytska, Toby Walsh
2009 J jnl
Circuit Complexity and Decompositions of Global Constraints
CoRR
Christian Bessiere, George Katsirelos, Nina Narodytska, Toby Walsh
2009 A* conf
Circuit Complexity and Decompositions of Global Constraints.
IJCAI
Christian Bessiere, George Katsirelos, Nina Narodytska, Toby Walsh
2009 J jnl
Combining Symmetry Breaking and Global Constraints
CoRR
George Katsirelos, Nina Narodytska, Toby Walsh
2009 J jnl
Decomposition of the NVALUE constraint
CoRR
Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh
2009 J jnl
Decompositions of All Different, Global Cardinality and Related Constraints
CoRR
Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh
2009 A* conf
Decompositions of All Different, Global Cardinality and Related Constraints.
IJCAI
Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh
2009 J jnl
Flow-Based Propagators for the SEQUENCE and Related Global Constraints
CoRR
Michael J. Maher, Nina Narodytska, Claude-Guy Quimper, Toby Walsh
2009 J jnl
Reformulating Global Grammar Constraints
CoRR
George Katsirelos, Nina Narodytska, Toby Walsh
2009 B conf
Reformulating Global Grammar Constraints.
CPAIOR
George Katsirelos, Nina Narodytska, Toby Walsh
2009 J jnl
Restricted Global Grammar Constraints
CoRR
George Katsirelos, Sebastian Maneth, Nina Narodytska, Toby Walsh
2009 A conf
Restricted Global Grammar Constraints.
CP
George Katsirelos, Sebastian Maneth, Nina Narodytska, Toby Walsh
2009 J jnl
The Weighted CFG Constraint
CoRR
George Katsirelos, Nina Narodytska, Toby Walsh
2008 — conf
Combining Symmetry Breaking and Global Constraints.
CSCLP
George Katsirelos, Nina Narodytska, Toby Walsh
2008 A conf
Flow-Based Propagators for the SEQUENCE and Related Global Constraints.
CP
Michael J. Maher, Nina Narodytska, Claude-Guy Quimper, Toby Walsh
2008 B conf
The Weighted CfgConstraint.
CPAIOR
George Katsirelos, Nina Narodytska, Toby Walsh
2007 J jnl
Configuration.
IEEE Intell. Syst.
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
2007 A* conf
Constraint and Variable Ordering Heuristics for Compiling Configuration Problems.
IJCAI
Nina Narodytska, Toby Walsh
2007 A conf
Encodings of the Sequence Constraint.
CP
Sebastian Brand, Nina Narodytska, Claude-Guy Quimper, Peter J. Stuckey, Toby Walsh