Back to Basics: Solving Games with SAT
-
Published:2016
Issue:3
Volume:16
Page:91-98
-
ISSN:1582-7445
-
Container-title:Advances in Electrical and Computer Engineering
-
language:en
-
Short-container-title:Adv. Electr. Comp. Eng.
Publisher
Universitatea Stefan cel Mare din Suceava
Subject
Electrical and Electronic Engineering,General Computer Science