S. Quer, "Back to Basics: Solving Games with SAT," Advances in Electrical and Computer Engineering, vol.16, no.3, pp.91-98, 2016, doi:10.4316/AECE.2016.03013
Citation Format:
AECE
Elsevier
Harvard
IEEE
Oxford
Springer
Wiley