N. Creignou, H. Daudé, O. Dubois : “Expected number of locally maximal solutions for random Boolean CSPs”, Discrete Mathematics and Theoretical Computer Science, vol. DMTCS Proceedings vol. AH, 2007 Conference on Analysis of Algorithms (AofA 07), DMTCS Proceedings, Juan les Pins, France, pp. 109-122, (Discrete Mathematics and Theoretical Computer Science) (2007)
O. Dubois, G. Dequen : “KCNFS solver”, SAT 2005 - 8th International Conference on Theory and Applications of Satisfiability Testing, St. Andrews, Scotland, United Kingdom, pp. 486-501 (2005)
G. Dequen, O. Dubois : “kcnfs: An Efficient Solver for Random k-SAT Formulae”, SAT 2003 - 6th International Conference on Theory and Applications of Satisfiability Testing, vol. 2919, Lecture Notes in Computer Science, Santa Margherita Ligure, Italy, pp. 486-501, (Springer) (2003)
2002
O. Dubois, J. Mandler : “The 3-XORSAT Threshold”, Comptes Rendus. Mathématique, vol. 335 (11), pp. 963-966, (Académie des sciences (Paris)) (2002)
O. Dubois, J. Mandler : “The 3-XORSAT threshold”, FOCS 2002 - 43th Annual IEEE Symposium on Foundations of Computer Science, Vancouver, Canada, pp. 769-778, (IEEE) (2002)
Y. Boufkhad, O. Dubois, M. Nivat : “Reconstructing binary images”, International Worshop on Discrete Tomography and Related Problems, Thionville, France (1999)