[ 办公室 |接触 ]

Jean-Marie Lagniez博士

文件后

2012年2月至2013年2月，我获得了Post-Doc赞助通过RiSE公司在FMV（飞行管理车辆）并且主要致力于改进SAT解决方案硬组合实例和关于改进SAT解算器提取最小不可满足项套（MUS）。

2011年，我完成了博士学位“本地搜索SAT和UNSAT“在CRIL公司,阿尔托瓦大学，在监督拉赫达尔·萨伊斯,吉尔斯·奥德马尔,和贝特朗迷宫.

你可以在我的CRIL主页.

办公室

联系人

https://fmv.jku.at/lagniez网站
http://www.cril.univ-artois.fr/~拉格尼茨.