HOW CONSTRAINTS ARE ENCODED AND FIXED IN QUANTUM OPTIMISATION SYSTEMS