Steve Boucher

According to our database, Steve Boucher authored at least 1 paper in 2021.

Collaborative distances:

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

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