Guillaume Bury - R&D Engineer

You can find here a list of my publications. A plain version for direct insertion in bibtex files is available here.

[5] Guillaume Bury. mSAT: An OCaml SAT Solver. In OCaml Users and Developers Workshop, September 2017. [ bib | .pdf ]
[4] Guillaume Bury, Raphaël Cauderlier, and Pierre Halmagrand. Implementing Polymorphism in Zenon. In 11th International Workshop on the Implementation of Logics (IWIL), Suva, Fiji, November 2015. [ bib | http | .pdf ]
[3] Guillaume Bury, David Delahaye, Damien Doligez, Pierre Halmagrand, and Olivier Hermant. Automated Deduction in the B Set Theory using Typed Proof Search and Deduction Modulo. In LPAR 20 : 20th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Suva, Fiji, November 2015. [ bib | http | .pdf ]
[2] Guillaume Bury and David Delahaye. Integrating Simplex with Tableaux. In Automated Reasoning with Analytic Tableaux and Related Methods, 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21–24, 2015. Proceedings, pages 86–101, Wrowlaw, Poland, September 2015. [ bib | http | .pdf ]
[1] Guillaume Bury. Internship report: Integrating the simplex algorithm to the tableau method, September 2014. [ bib | .pdf ]

This file was generated by bibtex2html 1.98.