Gábor Kusper

According to our database, Gábor Kusper authored at least 19 papers between 2001 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2022

Experiments with Automated Reasoning in the Class.

Isabela Dramnesc, Erika Ábrahám, Tudor Jebelean, Gábor Kusper, Sorin Stratulat

Proceedings of the Intelligent Computer Mathematics - 15th International Conference, 2022

2020

Convert a Strongly Connected Directed Graph to a Black-and-White 3-SAT Problem by the Balatonboglár Model.

Gábor Kusper, Csaba Biró

Algorithms, 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

Investigation of the Efficiency of Conversion of Directed Graphs to 3-SAT Problems.

Gábor Kusper, Csaba Biró, Tamás Balla

Proceedings of the 14th IEEE International Symposium on Applied Computational Intelligence and Informatics, 2020

Classification of SAT Problem Instances by Machine Learning Methods.

Márk Danisovszky, Zijian Gyozo Yang, Gábor Kusper

Proceedings of the 11th International Conference on Applied Informatics (ICAI 2020), 2020

The BWConverter Toolchain: An Incomplete Way to Convert SAT Problems into Directed Graphs.

Tamás Balla, Csaba Biró, Gábor Kusper

Proceedings of the 11th International Conference on Applied Informatics (ICAI 2020), 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

2019

Western Canon of Software Engineering: The Abstract Principles.

Márk Danisovszky, Tibor Nagy, Kristóf Répás, Gábor Kusper

Proceedings of the 10th IEEE International Conference on Cognitive Infocommunications, 2019

2016

A novel data storage logic in the cloud.

Bence Mátyás, Máté Szarka, Gábor Járvás, Gábor Kusper, István Argay

F1000Research, 2016

2015

Solving SAT by an Iterative Version of the Inclusion-Exclusion Principle.

Gábor Kusper, Csaba Biró

Proceedings of the 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2015

Integration opportunities of the 'CommonSense for Scholars' system at the University of Debrecen.

Gábor Kusper, Nikolett Fanni Menyhart, Gabor Percze, Havasi Gabor

Proceedings of the 6th IEEE International Conference on Cognitive Infocommunications, 2015

2013

Adaption of NNS classification to domain of category values.

László Kovács, Gábor Kusper

Proceedings of the IEEE 11th International Symposium on Intelligent Systems and Informatics, 2013

How to generate weakly nondecisive SAT instances.

Csaba Biró, Gábor Kusper, Tibor Tajti

Proceedings of the IEEE 11th International Symposium on Intelligent Systems and Informatics, 2013

2009

Metamodels in generation of UML using NLI-based dialog.

László Kovács, Gergely Kovásznai, Gábor Kusper

Proceedings of the 5th International Symposium on Applied Computational Intelligence and Informatics, 2009

2008

Multi-Domain Logic and its Applications to SAT.

Tudor Jebelean, Gábor Kusper

Proceedings of the SYNASC 2008, 2008

2006

Finding Models for Blocked 3-SAT Problems in Linear Time by Systematical Refinement of a Sub-model.

Gábor Kusper

Proceedings of the KI 2006: Advances in Artificial Intelligence, 2006

2005

Solving the resolution-free SAT problem by submodel propagation in linear time.

Gábor Kusper

Ann. Math. Artif. Intell., 2005

2002

Integrating Temporal Assertions into a Parallel Debugger.

József Kovács, Gábor Kusper, Róbert Lovas, Wolfgang Schreiner

Proceedings of the Euro-Par 2002, 2002

2001

Fault Tolerance for Cluster Computing Based on Functional Tasks.

Wolfgang Schreiner, Gábor Kusper, Károly Bósa

Proceedings of the Euro-Par 2001: Parallel Processing, 2001