刘文浩 罗斯·D·沙克特 测试排序问题精确解的复杂性。 494-503 2015 阿拉伯联合酋长国 conf/uai/2015 db/conf/uai/uai2015.html#LiuS15 http://auai.org/uai2015/proceedings/papers/16.pdf