Tamás Balla

According to our database, Tamás Balla authored at least 3 papers in 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

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

Proceedings of the 22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2020

Investigation of the Efficiency of Conversion of Directed Graphs to 3-SAT Problems.

Gábor Kusper, Csaba Biró, Tamás Balla

Proceedings of the 14th IEEE International Symposium on Applied Computational Intelligence and Informatics, 2020

The BWConverter Toolchain: An Incomplete Way to Convert SAT Problems into Directed Graphs.

Tamás Balla, Csaba Biró, Gábor Kusper

Proceedings of the 11th International Conference on Applied Informatics (ICAI 2020), 2020