Stealing Watermarks of Large Language Models via Mixed Integer Programming | IEEE Conference Publication | IEEE Xplore