《智能系统学报》
过刊查询页面
关键词中包括
upper bounds for NotAllEqual 3satisfiability
的文章