Login / Signup
Steve Boucher
Publication Activity (10 Years)
Years Active: 2021-2021
Publications (10 Years): 1
Top Topics
Game Theoretic
Cooperative
Boolean Formula
Reinforcement Learning Agents
Top Venues
KI
</>
Publications
</>
Steve Boucher
,
Roger Villemaire
Quantified Boolean Solving for Achievement Games.
KI
(2021)