Department of Computer Science New Mexico State University;
机译:ASSAT:由SAT求解器计算逻辑程序的答案集
机译:使用模型转换解决复杂问题:从集合建模到SAT实例求解
机译:在回答问题时,我应该从哪里着手解决涉及区间2型模糊集的新问题?
机译:答案集求解器和SAT求解器分享策略的调查
机译:EZSMT解算器:约束答案集解满足SMT。
机译:儿科业务评估:解决项目共享问题的策略的影响
机译:基于SAT的快速答案集求解器