Seapahn Megerian Milenko Drinic Miodrag Potkonjak Watermarking integer linear programming solutions. 8-13 2002 conf/dac/2002 DAC http://doi.acm.org/10.1145/513918.513923 db/conf/dac/dac2002.html#MegerianDP02