List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| 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 Artificial Intelligence | 2024-04-30 | Paper |
| On computing probabilistic abductive explanations International Journal of Approximate Reasoning | 2023-07-18 | Paper |
| Learning constraints through partial queries Artificial Intelligence | 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 (available as arXiv preprint) | 2018-08-10 | Paper |
| Three generalizations of the FOCUS constraint Constraints | 2017-08-16 | Paper |
| Three generalizations of the FOCUS constraint Constraints | 2017-08-16 | Paper |
| The computational impact of partial votes on strategic voting | 2017-07-18 | Paper |
| The computational impact of partial votes on strategic voting (available as arXiv preprint) | 2017-07-18 | Paper |
| Combining voting rules together | 2015-12-11 | Paper |
| Combining voting rules together (available as arXiv preprint) | 2015-12-11 | Paper |
| Complexity of and algorithms for the manipulation of Borda, Nanson's and Baldwin's voting rules Artificial Intelligence | 2014-10-27 | Paper |
| Cores in core based MaxSat algorithms: an analysis Lecture Notes in Computer Science | 2014-09-26 | Paper |
| An adaptive model restarts heuristic Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems | 2013-06-04 | Paper |
| Constraint satisfaction problems: convexity makes AllDifferent constraints tractable Theoretical Computer Science | 2013-03-04 | Paper |
| The weighted grammar constraint Annals of Operations Research | 2011-06-22 | Paper |
| The \textsc{AllDifferent} constraint with precedences Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems | 2011-05-26 | Paper |
| The complexity of integer bound propagation Journal of Artificial Intelligence Research | 2011-05-04 | Paper |
| Combining Symmetry Breaking and Global Constraints Lecture Notes in Computer Science | 2009-08-06 | Paper |
| Reformulating Global Grammar Constraints Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems | 2009-06-03 | Paper |
| Encodings of the Sequence Constraint Principles and Practice of Constraint Programming – CP 2007 | 2008-09-02 | Paper |
| The Weighted Cfg Constraint Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems | 2008-05-27 | Paper |
Research outcomes over time
This page was built for person: Nina Narodytska
