Home * People * Broderick Arneson

Broderick Arneson,
a Canadian mathematician and computer scientist at University of Alberta with research interests in Graph and Number Theory, and in the Artificial Intelligence and game related topics of Monte-Carlo Tree Search applied to Amazons, Go and Hex. He co-authors the Go program Fuego, the Hex players Wolve and MoHex, and the Amazons program Arrow 2.

Selected Publications

^[1]

2004

• Broderick Arneson, Piotr Rudnicki (2004). Primitive Roots of Unity and Cyclotomic Polynomials. Formalized Mathematics, Vol. 12, No. 1, pdf ^[2][3]
• Broderick Arneson, Matthias Baaz, Piotr Rudnicki (2004). Witt’s Proof of the Wedderburn Theorem. Formalized Mathematics, Vol. 12, No. 1, pdf ^[4][5]

2005 ...

• Broderick Arneson, Piotr Rudnicki (2006). Chordal Graphs. Formalized Mathematics, Vol. 14, No. 3, pdf ^[6]
• Broderick Arneson, Piotr Rudnicki (2006). Recognizing Chordal Graphs: Lex BFS and MCS. Formalized Mathematics, Vol. 14, No. 4, pdf
• Ryan Hayward, Broderick Arneson, Philip Henderson (2006). Automatic Strategy Verification for Hex. CG 2006, pdf
• Broderick Arneson (2007). Mizar Verifcation of Algorithms for Recognizing Chordal Graphs. Master's thesis, Department of Computing Science, University of Alberta, pdf ^[7][8]
• Broderick Arneson, Ryan Hayward, Philip Henderson (2009). Wolve 2008 wins Hex tournament. ICGA Journal, Vol. 32, No. 1 » 13th Computer Olympiad
• Philip Henderson, Broderick Arneson, Ryan Hayward (2009). Solving 8×8 Hex. IJCAI-09, pdf
• Broderick Arneson, Ryan Hayward, Philip Henderson (2009). MoHex wins Hex tournament. ICGA Journal, Vol. 32, No. 2, pdf » 14th Computer Olympiad

2010 ...

• Philip Henderson, Broderick Arneson, Ryan Hayward (2010). Hex, Braids, the Crossing Rule, and XH-Search. Advances in Computer Games 12, pdf
• Broderick Arneson, Ryan Hayward, Philip Henderson (2010). MoHex wins Hex Tournament. ICGA Journal, Vol. 33, No. 3, pdf » 15th Computer Olympiad
• Broderick Arneson, Ryan Hayward, Philip Henderson (2010). Solving Hex: Beyond Humans. CG 2010, pdf
• Broderick Arneson, Ryan Hayward, Philip Henderson (2010). Monte Carlo Tree Search in Hex. IEEE Transactions on Computational Intelligence and AI in Games, Vol. 2, No. 4, pdf
• Ryan Hayward, Broderick Arneson, Shih-Chieh Huang, Jakub Pawlewicz (2013). MOHEX Wins Hex Tournament. ICGA Journal, Vol. 36, No. 3, pdf » 17th Computer Olympiad
• Shih-Chieh Huang, Broderick Arneson, Ryan Hayward, Martin Müller, Jakub Pawlewicz (2013). MoHex 2.0: a pattern-based MCTS Hex player. CG 2013, pdf

External Links

• Broderick Arneson's ICGA Tournaments
• Broderick Arneson - HexWiki
• Arneson, Broderick from computer-go.info

References

1. ^ DBLP: Broderick Arneson
2. ^ Root of unity from Wikipedia
3. ^ Cyclotomic polynomial from Wikipedia
4. ^ Ernst Witt from Wikipedia
5. ^ Wedderburn's little theorem from Wikipedia
6. ^ Chordal graph from Wikipedia
7. ^ Mizar system from Wikipedia
8. ^ Mizar Home Page

What links here?

Up one level