Nina Narodytska
发表
Toby Walsh,
Nina Narodytska,
Christian Bessiere,
2009,
CP.
Toby Walsh,
Nina Narodytska,
Nicholas Mattei,
2015,
AAMAS.
Ankit B. Patel,
Nina Narodytska,
Weili Nie,
2019
.
Joao Marques-Silva,
Nina Narodytska,
Alexey Ignatiev,
2018
.
Toby Walsh,
Nina Narodytska,
Lirong Xia,
2012
.
F. Rossi,
T. Walsh,
Andrea Loreggia,
2015
.
Leonid Ryzhyk,
Niklas Een,
Alexander Legg,
2014
.
Hongxia Jin,
Nina Narodytska,
Shiva Prasad Kasiviswanathan,
2018,
IJCAI.
Joao Marques-Silva,
Nina Narodytska,
Alexey Ignatiev,
2022,
ArXiv.
N. Bjørner,
D. Terry,
G. Varghese,
2016
.
Kuldeep S. Meel,
Aditya A. Shrotri,
Moshe Y. Vardi,
2022,
AAAI.
Joao Marques-Silva,
Nina Narodytska,
Alexey Ignatiev,
2022,
ArXiv.
T. Walsh,
Nina Narodytska,
2007
.
Martin C. Cooper,
Joao Marques-Silva,
Nina Narodytska,
2022,
ArXiv.
Nina Narodytska,
Arnav Chakravarthy,
Asmitha Rathis,
2022
.
Martin C. Cooper,
Joao Marques-Silva,
Nina Narodytska,
2022,
Int. J. Approx. Reason..
Nina Narodytska,
Ankit B. Patel,
Weili Nie,
2018,
ICLR.
Nina Narodytska,
Shiva Prasad Kasiviswanathan,
S. Kasiviswanathan,
2016,
ArXiv.
Joao Marques-Silva,
Nina Narodytska,
Alexey Ignatiev,
2021,
IJCAI.
Nina Narodytska,
Shiva Prasad Kasiviswanathan,
S. Kasiviswanathan,
2017,
2017 IEEE Conference on Computer Vision and Pattern Recognition Workshops (CVPRW).
Nicholas Asher,
Joao Marques-Silva,
Nina Narodytska,
2020,
AI*IA.
Toby Walsh,
Nina Narodytska,
Nicholas Mattei,
2014,
ArXiv.
Joao Marques-Silva,
Nina Narodytska,
Alexey Ignatiev,
2018,
IJCAI.
Leonid Ryzhyk,
Toby Walsh,
Nina Narodytska,
2017,
AAAI.
Joao Marques-Silva,
Nina Narodytska,
Alexey Ignatiev,
2019,
NeurIPS.
Toby Walsh,
Nina Narodytska,
George Katsirelos,
2009,
CSCLP.
Michael J. Maher,
Toby Walsh,
Nina Narodytska,
2008,
CP.
Toby Walsh,
Peter J. Stuckey,
Nina Narodytska,
2007,
CP.
Joao Marques-Silva,
Nina Narodytska,
Alexey Ignatiev,
2021,
ICML.
Joao Marques-Silva,
Nina Narodytska,
Alexey Ignatiev,
2018,
AAAI.
Nham Le,
Nina Narodytska,
Arie Gurfinkel,
2020,
ECAI.
Toby Walsh,
Nina Narodytska,
Christian Bessiere,
2013,
IJCAI.
Toby Walsh,
Nina Narodytska,
T. Walsh,
2013,
CP.
Toby Walsh,
Nina Narodytska,
T. Walsh,
2013,
CPAIOR.
Toby Walsh,
Nina Narodytska,
George Katsirelos,
2010,
CP.
Nina Narodytska,
S. Jyothi,
Sagar Patel,
2023,
ArXiv.
Marco Canini,
Nina Narodytska,
Arnaud Dethise,
2021,
IEEE INFOCOM 2021 - IEEE Conference on Computer Communications.
Xiao Zhang,
Leonid Ryzhyk,
Minlan Yu,
2020,
OSDI.
Craig Boutilier,
Nina Narodytska,
Joel Oren,
2014,
AAAI.
Toby Walsh,
Nina Narodytska,
Serge Gaspers,
2013,
AAMAS.
Martin C. Cooper,
Joao Marques-Silva,
Nina Narodytska,
2021,
ArXiv.
Martin C. Cooper,
Joao Marques-Silva,
Nina Narodytska,
2020,
NeurIPS.
Toby Walsh,
Nina Narodytska,
Christian Bessiere,
2016,
Data Mining and Constraint Programming.
Bernd Finkbeiner,
Jean-François Raskin,
Romain Brenguier,
2016,
SYNT@CAV.
Toby Walsh,
Francesca Rossi,
Nina Narodytska,
2015,
AAMAS.
Toby Walsh,
Nina Narodytska,
Nicholas Mattei,
2013,
ECAI.
Toby Walsh,
Nina Narodytska,
T. Walsh,
2007,
IJCAI.
Luca Pulina,
Armando Tacchella,
Nina Narodytska,
2018,
ArXiv.
Joao Marques-Silva,
Nina Narodytska,
Kuldeep S. Meel,
2019,
SAT.
Nina Narodytska,
Alexey Ignatiev,
Joao Marques-Silva,
2019,
ArXiv.
Joao Marques-Silva,
Nina Narodytska,
Alexey Ignatiev,
2022,
AAAI.
Toby Walsh,
Nina Narodytska,
Ronald de Haan,
2012,
Australasian Conference on Artificial Intelligence.
Toby Walsh,
Nina Narodytska,
George Katsirelos,
2011,
AAAI.
Nina Narodytska,
Nina Narodytska,
2018,
2018 Formal Methods in Computer Aided Design (FMCAD).
Leonid Ryzhyk,
Nina Narodytska,
Sangeetha Abdu Jyothi,
2020,
OSDI.
Leonid Ryzhyk,
Nina Narodytska,
Soner Sevinc,
2019,
2019 Formal Methods in Computer Aided Design (FMCAD).
Nina Narodytska,
Junyang Zhang,
S. Jyothi,
2023,
ArXiv.
Clark W. Barrett,
Gagandeep Singh,
Haoze Wu,
2022,
Proc. ACM Program. Lang..
Toby Walsh,
Nina Narodytska,
Nicholas Mattei,
2015,
IJCAI.
Toby Walsh,
Nina Narodytska,
Lirong Xia,
2013,
AAAI.
Toby Walsh,
Nina Narodytska,
Thomas Kalinowski,
2013,
IJCAI.
Jorge A. Navas,
Leonid Ryzhyk,
Nina Narodytska,
2019,
PLDI.
W. Willinger,
S. Narayana,
R. Ferreira,
2023,
SIGMETRICS Perform. Evaluation Rev..
Nina Narodytska,
Aarti Gupta,
Toby Walsh,
2020,
ICLR.
Hongxia Jin,
Nina Narodytska,
Shiva Prasad Kasiviswanathan,
2017,
ArXiv.
Nina Narodytska,
Nina Narodytska,
2018,
IJCAI.
Toby Walsh,
Nina Narodytska,
Christian Bessiere,
2010,
AAAI.
Leonid Ryzhyk,
Alexander Legg,
Nina Narodytska,
2015,
AAAI.
Toby Walsh,
Nina Narodytska,
Lirong Xia,
2011,
AAAI.
Joao Marques-Silva,
Nina Narodytska,
Alexey Ignatiev,
2018,
IJCAR.
Vatsal Sharan,
Udi Wieder,
Nina Narodytska,
2022,
ArXiv.
R. Bloem,
Robert Könighofer,
Nina Narodytska,
2016,
SYNT@CAV.
Toby Walsh,
Francesca Rossi,
Nina Narodytska,
2014,
MPREF@AAAI.
Toby Walsh,
Nina Narodytska,
Serge Gaspers,
2013,
AAMAS.
Nina Narodytska,
S. Jyothi,
Sagar Patel,
2023,
ArXiv.
Toby Walsh,
Nina Narodytska,
Thierry Petit,
2013,
Constraints.
Nikolaj Bjørner,
Nina Narodytska,
Nina Narodytska,
2015,
IJCAI.
Nina Narodytska,
Nikolaj S. Bjørner,
2022,
SAT.
Leonid Ryzhyk,
Nina Narodytska,
João Loff,
2019,
ArXiv.
Toby Walsh,
Nina Narodytska,
T. Walsh,
2014,
ECAI.
Nina Narodytska,
Omer Reingold,
Nina Narodytska,
2016,
European Conference on Artificial Intelligence.
Toby Walsh,
Nina Narodytska,
Christian Bessiere,
2009,
IJCAI.
Nina Narodytska,
Michael R. Fellows,
Tobias Friedrich,
2011,
IJCAI.