Weisfeiler-Leman Invariant Promise Valued CSPs.

Libor Barto Silvia Butti

Published in: CP (2022)

Keyphrases

constraint satisfaction problems
affine transformation
constraint satisfaction
affine invariant
arc consistency
constraint propagation
np complete
moment invariants
translation invariant
constraint problems
quasi invariant