The BWConverter Toolchain: An Incomplete Way to Convert SAT Problems into Directed Graphs. - Tamás Balla; Csaba Biró; Gábor Kusper (ICAI, 2020)

Investigation of the Efficiency of Conversion of Directed Graphs to 3-SAT Problems. - Gábor Kusper; Csaba Biró; Tamás Balla (SACI, 2020)

Generating Minimal Unsatisfiable SAT Instances from Strong Digraphs. - Gábor Kusper; Tamás Balla; Csaba Biró; Tibor Tajti; Zijian Gyozo Yang; Imre Baják (SYNASC, 2020)

Multimodal Approach of Improving Spatial Abilities. - Tamás Balla; Robert Tóth; Marianna Zichar; Miklós Hoffmann (Multimodal Technol. Interact., 2024)