Márk Danisovszky

Publication Activity (10 Years)

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

Top Topics

Requirements Elicitation

Weighted Max Sat

Boolean Satisfiability

Top Venues

Publications

Márk Danisovszky, Zijian Gyozo Yang, Gábor Kusper
Classification of SAT Problem Instances by Machine Learning Methods. ICAI (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)
Márk Danisovszky, Tibor Nagy, Kristóf Répás, Gábor Kusper
Western Canon of Software Engineering: The Abstract Principles. CogInfoCom (2019)