[[Variables]] [[Constraint Programming]] [[Parameters]] [[Hamiltonian]]