Steve Boucher

According to our database, Steve Boucher authored at least 2 papers between 2021 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2025

The QBF Cover encoding for Harary Tic-Tac-Toe's.

Steve Boucher, Roger Villemaire

Proceedings of the 38th Canadian Conference on Artificial Intelligence, 2025

2021

Quantified Boolean Solving for Achievement Games.

Steve Boucher, Roger Villemaire

Proceedings of the KI 2021: Advances in Artificial Intelligence - 44th German Conference on AI, Virtual Event, September 27, 2021