Gábor Kusper

Publication Activity (10 Years)

Years Active: 2001-2022
Publications (10 Years): 9

Top Topics

Boolean Satisfiability

Machine Learning

Top Venues

Publications

Isabela Dramnesc, Erika Ábrahám, Tudor Jebelean, Gábor Kusper, Sorin Stratulat
Experiments with Automated Reasoning in the Class. CICM (2022)
Márk Danisovszky, Zijian Gyozo Yang, Gábor Kusper
Classification of SAT Problem Instances by Machine Learning Methods. ICAI (2020)
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ó
Convert a Strongly Connected Directed Graph to a Black-and-White 3-SAT Problem by the Balatonboglár Model. Algorithms 13 (12) (2020)
Gábor Kusper, Csaba Biró, Tamás Balla
Investigation of the Efficiency of Conversion of Directed Graphs to 3-SAT Problems. SACI (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)
Tamás Balla, Csaba Biró, Gábor Kusper
The BWConverter Toolchain: An Incomplete Way to Convert SAT Problems into Directed Graphs. ICAI (2020)
Márk Danisovszky, Tibor Nagy, Kristóf Répás, Gábor Kusper
Western Canon of Software Engineering: The Abstract Principles. CogInfoCom (2019)
Bence Mátyás, Máté Szarka, Gábor Járvás, Gábor Kusper, István Argay
A novel data storage logic in the cloud. F1000Research 5 (2016)
Gábor Kusper, Csaba Biró
Solving SAT by an Iterative Version of the Inclusion-Exclusion Principle. SYNASC (2015)
Gábor Kusper, Nikolett Fanni Menyhart, Gabor Percze, Havasi Gabor
Integration opportunities of the 'CommonSense for Scholars' system at the University of Debrecen. CogInfoCom (2015)
Csaba Biró, Gábor Kusper, Tibor Tajti
How to generate weakly nondecisive SAT instances. SISY (2013)
László Kovács, Gábor Kusper
Adaption of NNS classification to domain of category values. SISY (2013)
László Kovács, Gergely Kovásznai, Gábor Kusper
Metamodels in generation of UML using NLI-based dialog. SACI (2009)
Tudor Jebelean, Gábor Kusper
Multi-Domain Logic and its Applications to SAT. SYNASC (2008)
Gábor Kusper
Finding Models for Blocked 3-SAT Problems in Linear Time by Systematical Refinement of a Sub-model. KI (2006)
Gábor Kusper
Solving the resolution-free SAT problem by submodel propagation in linear time. Ann. Math. Artif. Intell. 43 (1) (2005)
József Kovács, Gábor Kusper, Róbert Lovas, Wolfgang Schreiner
Integrating Temporal Assertions into a Parallel Debugger. Euro-Par (2002)
Wolfgang Schreiner, Gábor Kusper, Károly Bósa
Fault Tolerance for Cluster Computing Based on Functional Tasks. Euro-Par (2001)