Nina Narodytska
University of Toronto
 
News
Research
People
Publications
Awards
Employment
Teaching
 
Postdoctoral Research Fellow at
the Department of Computer Science, University of Toronto and
Visiting Researcher at
the School of Computer Science and Engineering, University of New South Wales.
 

You can find more information about me and the list of publications in my CV.

Contact Information
Office 386, Level 3
Department of Computer Science
6 King's College Road
University of Toronto
Toronto, Ont, M5S 3H5
CANADA
  E-mail: ninan at cs dot toronto dot edu
  Phone: +1 416 616 3637

Latest news

  • Great news! EvaSolver, my new MaxSAT solver, is the best overall MaxSAT solver in the industrial category in the Ninth Evaluation of Max-SAT Solvers (Max-SAT-2014) among non-portfolio solvers. Final rankings among all, portfolio and non-portfolio, solvers are

    The first place in the weighted partial MaxSAT(industrial) category.

    The third place in the partial MaxSAT(industrial) category.

    The third place in the MaxSAT(industrial) category.

  • 18/05/2014: New extended abstract Interpolants in Two-Player Games (with Niklas Een, Alexander Legg, and Leonid Ryzhyk ) Interpolation: From Proofs to Applications(iPRA 2014).
  • 9/05/2014: New paper The Computational Impact of Partial Votes on Strategic Voting (with Toby Walsh. ) ECAI 2014.
  • 9/05/2014: New paper How Hard Is It to Control an Election by Breaking Ties? (with Nicholas Mattei and Toby Walsh. ) ECAI 2014.
  • 18/03/2014: New paper Solving Games without Controllable Predecessor (with Alexander Legg, Fahiem Bacchus, Leonid Ryzhyk and Adam Walker) CAV 2014. The paper proposes a radically new approach for solving reachability games based on the counter-example guided paradigm.
  • 11/03/2014: New paper Maximum Satisfiability Using Core-Guided MaxSAT Resolution. (with Fahiem Bacchus) AAAI 2014. The paper proposes a new MaxSAT solver that combines the MaxSAT resolution with core-guided approach. The solver performs well on structured industrial instances.
  • 11/03/2014: New paper A Game-theoretic Analysis of Catalog Optimization (with Joel Oren and Craig Boutilier.) AAAI 2014.
  • 09/03/2014: New paper Cores in Core Based MaxSat Algorithms: an Analysis. (with Fahiem Bacchus) SAT 2014.
  • 20/12/2013: The paper Possible and Necessary Winner Problem in Social Polls (with Serge Gaspers, Victor Naroditskiy, and Toby Walsh) has been accepted to AAMAS 2014.
  • 23/07/2013: The video Algorithmic Decision Theory @ NICTA has received the most educational video award (with Haris Aziz, Serge Gaspers, Nicholas Mattei, and Toby Walsh). IJCAI 2013.
  • 16/07/2013: Great news! Named as one of AI's 10 to Watch. Every two years, IEEE Intelligent Systems acknowledges and celebrates 10 young stars in the field of AI as "AI's 10 to Watch." Media Release.
  • 10/06/2013: New paper Breaking Symmetry with Different Orderings (with Toby Walsh) accepted to CP 2013.
  • 03/04/2013: New paper A Social Welfare Optimal Sequential Allocation Procedure (with Thomas Kalinowski, and Toby Walsh) accepted to IJCAI 2013.
  • 03/04/2013: New paper On the complexity of global scheduling constraints under structural restrictions (with Geoffrey Chu, Serge Gaspers, Andreas Schutt, Toby Walsh) accepted to IJCAI 2013.
  • 03/04/2013: New paper Three generalizations of the Focus constraint (with Thierry PETIT, Mohamed Siala, and Toby Walsh) accepted to IJCAI 2013.
  • 03/04/2013: New paper Constraint Acquisition via Partial Queries (with Christian Bessiere, Remi Coletta, Emmanuel Hebrard, George Katsirelos, Nadjib Lazaar, Claude-Guy Quimper, and Toby Walsh) accepted to IJCAI 2013.
  • 26/03/2013: New paper Strategic Behavior when Allocating Indivisible Goods Sequentially (with Thomas Kalinowski, Toby Walsh, and Lirong Xia) accepted to AAAI 2013.
  • 26/03/2013: New paper Ties Matter: Complexity of Manipulation when Tie-breaking with a Random Vote (with Haris Aziz, Serge Gaspers, Nicholas Mattei, and Toby Walsh) accepted to AAAI 2013.
  • 20/12/2012: New paper Manipulating Two Stage Voting Rules (with Toby Walsh) accepted to AAMAS 2013.
  • 20/12/2012: New paper Possible and Necessary Winner Problem in Social Polls (Extended Abstract) (with Serge Gaspers, Victor Naroditskiy, and Toby Walsh) accepted to AAMAS 2013.
  • 20/12/2012: New paper Coalitional Manipulation for Schulze's Rule (with Serge Gaspers, Thomas Kalinowski, and Toby Walsh) accepted to AAMAS 2013.
  • 18/12/2012: New paper An Adaptive Model Restarts Heuristic (with Toby Walsh) accepted to CPAIOR 2013.
  • 4/12/2012: Outstanding programme committee member award at AI 2012.

 

Home Page | People | Research | Publications
© 2013. All Rights Reserved