Normal Forms for Second-Order Logic over Finite Structures, and Classification of NP Optimization Problems.评价结果

评估详情