Gábor Kusper

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
We are not afraid of the wolf! - AI usage attitudes among Hungarian informatics students Annales Mathematicae et Informaticae	2026-03-20	Paper
Using extended resolution to represent strongly connected components of directed graphs Annales Mathematicae et Informaticae	2024-03-22	Paper
Experiments with automated reasoning in the class Lecture Notes in Computer Science	2023-06-02	Paper
Introducing \(w\)-Horn and \(Z\)-Horn: a generalization of Horn and \(q\)-Horn formulae Annales Mathematicae et Informaticae	2022-03-18	Paper
Some \(k\)-hop based graph metrics and node ranking in wireless sensor networks Annales Mathematicae et Informaticae	2020-02-26	Paper
Equivalence of strongly connected graphs and black-and-white 2-SAT problems Miskolc Mathematical Notes	2019-06-12	Paper
SAT representation of randomly deployed Wireless Sensor Networks Proceedings of the 9th International Conference on Applied Informatics, Volume 2	2017-10-19	Paper
Empirical investigation on combining tableaux and resolution	2012-08-29	Paper
Evaluating a probabilistic model checker for modeling and analyzing retrial queueing systems	2011-02-22	Paper
scientific article; zbMATH DE number 5770428 (Why is no real title available?)	2010-08-13	Paper
Introducing general redundancy criteria for clausal tableaux, and proposing resolution tableaux	2010-08-13	Paper
Philosophical aspects of information	2010-01-25	Paper
Better test results for the graph coloring and the pigeonhole problems using DPLL with \(k\)-literal representation	2010-01-25	Paper
Cryptographycal protocols in the Egerfood Information System	2008-05-29	Paper
Solving the resolution-free SAT problem by submodel propagation in linear time Annals of Mathematics and Artificial Intelligence	2005-05-13	Paper
scientific article; zbMATH DE number 2090570 (Why is no real title available?)	2004-08-12	Paper
scientific article; zbMATH DE number 1863327 (Why is no real title available?)	2003-02-04	Paper

Research outcomes over time

This page was built for person: Gábor Kusper