C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Guillaume Bertholon
ORCID
Publication Activity (10 Years)
Years Active: 2019-2020
Publications (10 Years): 3
Top Topics
Tic Tac Toe
Theorem Prover
Optimal Strategy
Expected Cost
Top Venues
ITP
CoRR
VMIL@SPLASH
</>
Publications
</>
Guillaume Bertholon
,
Rémi Géraud-Stewart
,
Axel Kugelmann
,
Théo Lenoir
,
David Naccache
At Most 43 Moves, At Least 29: Optimal Strategies and Bounds for Ultimate Tic-Tac-Toe.
CoRR
(2020)
Guillaume Bertholon
,
Stephen Kell
Towards seamless interfacing between dynamic languages and native code.
VMIL@SPLASH
(2019)
Guillaume Bertholon
,
Érik Martin-Dorel
,
Pierre Roux
Primitive Floats in Coq.
ITP
(2019)