Tamás Balla

Publication Activity (10 Years)

Years Active: 2020-2020
Publications (10 Years): 3

Top Topics

Stochastic Local Search

Top Venues

Publications

Gábor Kusper, Tamás Balla, Csaba Biró, Tibor Tajti, Zijian Gyozo Yang, Imre Baják
Generating Minimal Unsatisfiable SAT Instances from Strong Digraphs. SYNASC (2020)
Gábor Kusper, Csaba Biró, Tamás Balla
Investigation of the Efficiency of Conversion of Directed Graphs to 3-SAT Problems. SACI (2020)
Tamás Balla, Csaba Biró, Gábor Kusper
The BWConverter Toolchain: An Incomplete Way to Convert SAT Problems into Directed Graphs. ICAI (2020)