FINDING THE GLOBAL MINIMUM FOR BINARY IMAGE RESTORATION