QBF Encodings of Chess Problems

Abstract

Full Citation:

Tomáš Peitl. QBF Encodings of Chess Problems. 2018, Technical report AC-TR-18-013, Algorithms and Complexity Group, TU Wien.

Tomas Peitl

Tomáš Peitl is a Project Assistant at the Algorithms and Complexity Group.