Imre Baják

According to our database, Imre Baják authored at least 2 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

Cognitive Code Quality Improvement with Pattern Recognition and Recommendation by Examples.

Márk Danisovszky, Attila Adamkó, Imre Baják, Krisztian Kusper, Szabolcs Marien, Gábor Kusper

Proceedings of the 11th IEEE International Conference on Cognitive Infocommunications, 2020