Login / Signup
Imre Baják
Publication Activity (10 Years)
Years Active: 2020-2020
Publications (10 Years): 2
Top Topics
Java Code
Sat Instances
Quality Improvement
Propositional Satisfiability
Top Venues
SYNASC
CogInfoCom
</>
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)
Márk Danisovszky
,
Attila Adamkó
,
Imre Baják
,
Krisztian Kusper
,
Szabolcs Marien
,
Gábor Kusper
Cognitive Code Quality Improvement with Pattern Recognition and Recommendation by Examples.
CogInfoCom
(2020)