Author:
Publication: Artificial Intelligence
The complexity of reasoning with FODD and GFODD
Variable symmetry breaking in numerical constraint problems