《郑州大学学报(工学版)》
过刊查询页面
关键词中包括
satisfiability problems
的文章