Lengning Liu Miroslaw Truszczynski Properties of Programs with Monotone and Convex Constraints. 701-706 2005 conf/aaai/2005 AAAI db/conf/aaai/aaai2005.html#LiuT05