Problem formulations