Romain Rincé, Romain Kervarc, Philippe Leray. On the use of walkSAT based algorithms for MLN inference in some realistic applications. 30th International Conference on Industrial, Engineering, Other Applications of Applied Intelligent Systems (IEA/AIE 2017), 2017, Arras, France. Proceedings of the 30th International Conference on Industrial, Engineering, Other Applications of Applied Intelligent Systems (IEA/AIE 2017). 〈hal-01532492〉