Strengthening Neighbourhood Substitution

von Cooper, Martin C.
Veröffentlicht in CP (26. : 2020 : Online) Principles and practice of constraint programming (2020)

Steepest ascent can be exponential in bounded treewidth problems

von Cohen, David A.
Veröffentlicht in Operations research letters (2020)

Galois Connections for Patterns: An Algebra of Labelled Graphs

von Cohen, David A.
Veröffentlicht in GKR (6. : 2020 : Online) Graph structures for knowledge representation and reasoning (2021)

Feature Necessity & Relevancy in ML Classifier Explanations

von Huang, Xuanxiang
Veröffentlicht in TACAS (29. : 2023 : Paris) Tools and algorithms for the construction and analysis of systems ; Part 1 (2023)

Towards Formal Fairness in Machine Learning

von Ignatiev, Alexey
Veröffentlicht in CP (26. : 2020 : Online) Principles and practice of constraint programming (2020)