|
2014
Interpolants in Two-Player Games.
Niklas Een, Alexander Legg, Nina Narodytska, and Leonid Ryzhyk.
Interpolation: From Proofs to Applicationsv (iPRA'14).
Practical CNF Interpolants Via BDDs.
Alexander Legg, Nina Narodytska, and Leonid Ryzhyk.
Interpolation: From Proofs to Applicationsv (iPRA'14).
2012
Elicitation-free Protocols for Al-
locating Indivisble Goods.
Thomas Kalinowski, Nina Narodytska, Toby Walsh, and Lirong Xia.
International Workshop on Computational Social Choice(ComSoc'12).
Manipulating Two Stage Voting Rules.
Nina Narodytska and Toby Walsh.
International Workshop on Computational Social Choice(ComSoc'12).
The AtMostSeqCard Revisited.
Nina Narodytska and Toby Walsh.
ModRef 2012.
2011
Dynamic versus Static Value Symmetry
Breaking.
(published version).
Nina Narodytska, and Toby Walsh.
SymCon 2011.
Global Matrix Constraints
George Katsirelos, Nina Narodytska, Claude-Guy Quimper, and Toby Walsh.
ModRef 2011.
2009
Breaking Generator Symmetry
(published version).
George Katsirelos, Nina Narodytska, and Toby Walsh.
SymCon 2009 .
Decompositions of the NValue constraint
(published version).
Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper,
Toby Walsh.
ModRef 2009.
2008
Dynamic posting of static symmetry breaking constraints.
(published version).
George Katsirelos, Nina Narodytska, and Toby Walsh.
symCon 2008.
Flow-based propagators for the sequence and related global constraints
(published version).
Michael Maher, Nina Narodytska, Claude-Guy Quimper, and Toby Walsh.
ECAI 2008 Workshop on Modelling and Solving Problems with Constraints.
Combining symmetry breaking and global constraints.
George Katsirelos, Nina Narodytska, and Toby Walsh.
CSCLP 2008.
2006
Constraint and variable ordering heuristics
for compiling configuration problems
(published version).
Nina Narodytska and Toby Walsh.
ECAI 2006 Workshop on Configuration:2-7.
Constraint and variable ordering heuristics
for compiling configuration problems
(published version).
Nina Narodytska and Toby Walsh.
CSCLP 2006:.
|
