2016

Adaptive Condorcet-based Stopping Rules can be Efficient. Omer Reingold and Nina Narodytska Accepted to ECAI 2016 .

A SAT-Based Counterexample Guided Method for Unbounded Synthesis. Alexander Legg, Nina Narodytska and Leonid Ryzhyk Accepted to CAV 2016 .

2015

Maximum Satisfiability Using Cores and Correction Sets. Nikolaj Bjorner and Nina Narodytska Accepted to IJCAI 2015 .

Equilibria Under the Probabilistic Serial Rule. Haris Aziz, Serge Gaspers, Simon Mackenzie, Nicholas Mattei, Nina Narodytska, and Toby Walsh Accepted to IJCAI 2015 .

Manipulating the Probabilistic Serial Rule. Haris Aziz, Serge Gaspers, Simon Mackenzie, Nicholas Mattei, Nina Narodytska, and Toby Walsh Accepted to AAMAS 2015 .

Controlling Elections by Replacing Candidates or Votes. Andrea Loreggia, Nina Narodytska, Francesca Rossi, K. Brent Venable, and Toby Walsh Accepted to AAMAS 2015 .

SAT-based Strategy Extraction in Reachability Games. Niklas Een, Alexander Legg, Nina Narodytska and Leonid Ryzhyk. Accepted to AAAI 2015 .

2014

The Computational Impact of Partial Votes on Strategic Voting (published version). Nina Narodytska and Toby Walsh. ECAI 2014 .

How Hard Is It to Control an Election by Breaking Ties? (published version). Nicholas Mattei, Nina Narodytska and Toby Walsh. Accepted to ECAI 2014 .

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

Maximum Satisfiability Using Core-Guided MaxSAT Resolution (published version). Nina Narodytska and Fahiem Bacchus. AAAI 2014 .

A Game-theoretic Analysis of Catalog Optimization (published version). Joel Oren, Nina Narodytska and Craig Boutilier. AAAI 2014 .

Cores in Core Based MaxSat Algorithms: an Analysis (published version). Fahiem Bacchus and Nina Narodytska. SAT 2014 .

Possible and Necessary Winner Problem in Social Polls (published version) Serge Gaspers, Victor Naroditskiy, Nina Narodytska, and Toby Walsh. AAMAS 2014.

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

2013

Breaking Symmetry with Different Orderings (published version). Nina Narodytska, Toby Walsh CP 2013.

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

On the complexity of global scheduling constraints under structural restrictions (published version). Geoffrey Chu, Serge Gaspers, Nina Narodytska, Andreas Schutt, Toby Walsh IJCAI 2013.

Three generalizations of the Focus constraint (published version). Nina Narodytska, Thierry PETIT, Mohamed Siala, Toby Walsh. IJCAI 2013.

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

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

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

Manipulating Two Stage Voting Rules (published version). Nina Narodytska, Toby Walsh. AAMAS 2013.

Possible and Necessary Winner Problem in Social Polls (Extended Abstract) (published version). Serge Gaspers, Victor Naroditskiy, Nina Narodytska, and Toby Walsh. AAMAS 2013.

Coalitional Manipulation for Schulze's Rule (published version). Serge Gaspers, Thomas Kalinowski, Nina Narodytska, and Toby Walsh. AAMAS 2013.

An Adaptive Model Restarts Heuristic (published version). Nina Narodytska and Toby Walsh. CPAIOR 2013.

2012

Eliminating the Weakest Link: Making Manipulation Intractable? (published version). Jessica Davies, Nina Narodytska, Toby Walsh. AAAI 2012.

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

The RegularGcc Matrix Constraint (published version). Ronald de Haan, Nina Narodytska, Toby Walsh. Australasian Conference on Artificial Intelligence 2012: 206-217.

The SeqBin Constraint Revisited (published version). George Katsirelos, Nina Narodytska, Toby Walsh. CP 2012: 332-347.

Combining Voting Rules Together (published version). Nina Narodytska, Toby Walsh, Lirong Xia. ECAI 2012: 612-617.

Manipulating Two Stage Voting Rules. (published version). Nina Narodytska and Toby Walsh. ComSoc 2012.

Elicitation free Protocols for Allocating Indivisble Goods (published version). Thomas Kalinowski, Nina Narodytska, Toby Walsh and Lirong Xia. ComSoc 2012.

2011

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

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

The AllDifferent Constraint with Precedences (published version). Christian Bessiere, Nina Narodytska, Claude-Guy Quimper, Toby Walsh. CPAIOR 2011: 36-52.

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

2010

Propagating Conjunctions of AllDifferent Constraints [Theorem 2 is wrong.] (published version). Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh. AAAI 2010.

Decomposition of the NValue Constrain (published version). Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh. CP 2010: 114-128.

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

An Empirical Study of Borda Manipulation (published version). Jessica Davies, George Katsirelos, Nina Narodytska, and Toby Walsh. ComSoc 2012.

2009

Restricted Global Grammar Constraints (published version). George Katsirelos, Sebastian Maneth, Nina Narodytska and Toby Walsh. CP 2009: 501-508.

Reformulating Global Grammar Constraints (published version). George Katsirelos, Nina Narodytska, Toby Walsh. CPAIOR 2009: 132-147.

Circuit Complexity and Decompositions of Global Constraints (published version). Christian Bessiere, George Katsirelos, Nina Narodytska, Toby Walsh. IJCAI 2009: 412-418.

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

2008

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

The Weighted CfgConstraint (published version). George Katsirelos, Nina Narodytska, Toby Walsh. CPAIOR 2008: 323-327.

Combining Symmetry Breaking and Global Constraints (published version). George Katsirelos, Nina Narodytska, Toby Walsh. CSCLP 2008: 84-98.

2007

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

Constraint and Variable Ordering Heuristics for Compiling Configuration Problems (published version). Nina Narodytska, Toby Walsh. IJCAI 2007: 149-154.