conftrace_

propagation algorithm

4 papers

Explore in graph

Co-occurring keywords · papers mentioning both

global constraint (2) constraint programming (2) extensional constraint (1) string edit distance (1) edit distance constraint (1) local consistency (1) saliency propagation (1) proof logging (1) fixed-parameter tractability (1) np-hard problem (1)

Papers

Proof Logging for Smart Extensional Constraints (Extended Abstract) IJCAI 2024 Explaining Propagators for String Edit Distance Constraints AAAI 2020 Reasoning about NP-complete Constraints IJCAI 2018 Saliency Propagation From Simple to Difficult CVPR 2015