Proceedings

Nina Narodytska

VMware Research , CA , USA

16 papers in the IJCAI proceedings

IJCAI 2021

Reasoning-Based Learning of Interpretable ML Models
with Alexey Ignatiev, Joao Marques-Silva, Peter J. Stuckey
doi:10.24963/ijcai.2021/608
Details PDF

IJCAI 2018

Core-Guided Minimal Correction Set and Core Enumeration
with Nikolaj Bjørner, Maria-Cristina Marinescu, Mooly Sagiv
doi:10.24963/ijcai.2018/188
Details PDF
Formal Analysis of Deep Binarized Neural Networks
doi:10.24963/ijcai.2018/811
Details PDF
Learning Optimal Decision Trees with SAT
with Alexey Ignatiev, Filipe Pereira, Joao Marques-Silva
doi:10.24963/ijcai.2018/189
Details PDF
Network Approximation using Tensor Sketching
with Shiva Prasad Kasiviswanathan, Hongxia Jin
doi:10.24963/ijcai.2018/321
Details PDF

IJCAI 2015

Equilibria Under the Probabilistic Serial Rule
with Haris Aziz, Serge Gaspers, Simon Mackenzie, Nicholas Mattei, Toby Walsh
Details PDF
Maximum Satisfiability Using Cores and Correction Sets
with Nikolaj S. Bjørner
Details PDF

IJCAI 2013

A Social Welfare Optimal Sequential Allocation Procedure
with Thomas Kalinowski, Toby Walsh
Details PDF
Constraint Acquisition via Partial Queries
with Christian Bessière, Remi Coletta, Emmanuel Hebrard, George Katsirelos, Nadjib Lazaar, Claude-Guy Quimper, Toby Walsh
Details PDF
On the Complexity of Global Scheduling Constraints under Structural Restrictions
with Geoffrey Chu, Serge Gaspers, Andreas Schutt, Toby Walsh
Details PDF
On the Complexity of Global Scheduling Constraints under Structural Restrictions
with Geoffrey Chu, Serge Gaspers, Andreas Schutt, Toby Walsh
Details PDF
Three Generalizations of the FOCUS Constraint
with Thierry Petit, Mohamed Siala, Toby Walsh
Details PDF

IJCAI 2011

Constraint Satisfaction Problems: Convexity Makes AllDifferent Constraints Tractable
with Michael R. Fellows, Tobias Friedrich, Danny Hermelin, Frances A. Rosamond
doi:10.5591/978-1-57735-516-8/IJCAI11-095
Details PDF

IJCAI 2009

Circuit Complexity and Decompositions of Global Constraints
with Christian Bessière, George Katsirelos, Toby Walsh
Details PDF
Decompositions of All Different, Global Cardinality and Related Constraints
with Christian Bessière, George Katsirelos, Claude-Guy Quimper, Toby Walsh
Details PDF

IJCAI 2007

Constraint and Variable Ordering Heuristics for Compiling Configuration Problems
with Toby Walsh
Details PDF
Welcome Future Conferences AI Journal Division IJCAI Proceedings About IJCAI IJCAI Awards