Weighted NP optimization problems: logical definability and approximation properties | IEEE Conference Publication | IEEE Xplore