Nina Narodytska

Available identifiers

Publication	Date of Publication	Type
Analysis of core-guided maxsat using cores and correction sets	2024-07-12	Paper
Corrigendum to: ``Learning constraints through partial queries	2024-04-30	Paper
On computing probabilistic abductive explanations	2023-07-18	Paper
Learning constraints through partial queries	2023-06-27	Paper
Assessing heuristic machine learning explanations with model counting	2020-05-20	Paper
A SAT-based approach to learn explainable decision sets	2018-10-18	Paper
Constrained image generation using binarized neural networks with decision procedures	2018-08-10	Paper
Three generalizations of the FOCUS constraint	2017-08-16	Paper
https://portal.mardi4nfdi.de/entity/Q5283030	2017-07-18	Paper
https://portal.mardi4nfdi.de/entity/Q3455590	2015-12-11	Paper
Complexity of and algorithms for the manipulation of Borda, Nanson's and Baldwin's voting rules	2014-10-27	Paper
Cores in Core Based MaxSat Algorithms: An Analysis	2014-09-26	Paper
An Adaptive Model Restarts Heuristic	2013-06-04	Paper
Constraint satisfaction problems: convexity makes AllDifferent constraints tractable	2013-03-04	Paper
The weighted grammar constraint	2011-06-22	Paper
The AllDifferent Constraint with Precedences	2011-05-26	Paper
The Complexity of Integer Bound Propagation	2011-05-04	Paper
Combining Symmetry Breaking and Global Constraints	2009-08-06	Paper
Reformulating Global Grammar Constraints	2009-06-03	Paper
Encodings of the Sequence Constraint	2008-09-02	Paper
The Weighted Cfg Constraint	2008-05-27	Paper

This page was built for person: Nina Narodytska