Marius Zimand Weighted NP Optimization Problems: Logical Definability and Approximation Properties. 12-28 1995 Structure in Complexity Theory Conference db/conf/coco/coco95.html#Zimand95