Abstract
Tom'a\vs Peitl. QBF Encodings of Chess Problems. 2018, Technical report AC-TR-18-013, Algorithms and Complexity Group, TU Wien.
Type
Tomas Peitl
Tomáš Peitl is a Project Assistant at the Algorithms and Complexity Group.
Tom'a\vs Peitl. QBF Encodings of Chess Problems. 2018, Technical report AC-TR-18-013, Algorithms and Complexity Group, TU Wien.
Tomáš Peitl is a Project Assistant at the Algorithms and Complexity Group.