Combination of decomposability and propagation for solving first-order constraints in decomposable theories.

Khalil Djelloul

Browse the full SAC paper archive.