Institut fuer Informatik, Universitaet Potsdam, Postfach 90 03 27, D-14439 Potsdam;
机译:约束答案集求解的转换方法
机译:在回答问题时,我应该从哪里着手解决涉及区间2型模糊集的新问题?
机译:解决答案集编程的先进争论问题
机译:答案集编程:一种解决挑战性搜索问题的声明方法
机译:EZSMT解算器:约束答案集解满足SMT。
机译:baerveldt-xen持久的近端闭塞:解决旧答案的新问题
机译:用于回答集合求解的nomore ++方法