Misa Keinänen女士
人员信息
优化列表
2010 – 2019
2012 [j1] 凯霍·赫尔扬科 , Misa Keinänen女士 , 马丁·兰格 , 伊尔卡·尼梅尔 :
通过降低SAT来解决平价游戏。 J.计算。 系统。 科学。 78 ( 2 ) : 430-440 ( 2012 )
2000 – 2009
2008 【c6】 海伦娜·肯纳恩 , Misa Keinänen女士 :
联盟形成的模拟退火。 ECAI公司 2008 : 857-858 2006 【c5】 凯霍·赫尔扬科 , 汤米·A·琼蒂拉 , Misa Keinänen女士 , 马丁·兰格 , 蒂莫·拉特瓦拉 :
弱交替Büchi自动机的有界模型检验。 CAV汽车 2006 : 95-108 2005 【c4】 简·弗里索·格鲁特 , Misa Keinänen女士 :
一种用于连接和非连接布尔方程组的次二次算法。 ICTAC公司 2005 : 532-545 2004 【c3】 简·弗里索·格鲁特 , Misa Keinänen女士 :
用交替不动点求解析取/共轭布尔方程组。 TACAS公司 2004 : 436-450 【c2】 Misa Keinänen女士 , 伊尔卡·尼梅尔 :
求解答案集编程中的交替布尔方程组。 INAP/WLP公司 2004 : 134-148 【c1】 Misa Keinänen女士 :
获得布尔方程组的记忆有效解。 飞行管理信息系统 2004 : 175-191