Gábor Kusper

From MaRDI portal
Person:1777397

Available identifiers

zbMath Open kusper.gaborMaRDI QIDQ1777397

List of research outcomes





PublicationDate of PublicationType
Using extended resolution to represent strongly connected components of directed graphs2024-03-22Paper
Experiments with automated reasoning in the class2023-06-02Paper
Introducing w-Horn and z-Horn: A generalization of Horn and q-Horn formulae2022-03-18Paper
Somek-hop based graph metrics and noderanking in wireless sensor networks2020-02-26Paper
Equivalence of strongly connected graphs and black-and-white 2-SAT problems2019-06-12Paper
SAT representation of randomly deployed Wireless Sensor Networks2017-10-19Paper
Empirical investigation on combining tableaux and resolution2012-08-29Paper
https://portal.mardi4nfdi.de/entity/Q30772002011-02-22Paper
https://portal.mardi4nfdi.de/entity/Q35807862010-08-13Paper
https://portal.mardi4nfdi.de/entity/Q35808012010-08-13Paper
https://portal.mardi4nfdi.de/entity/Q58518792010-01-25Paper
https://portal.mardi4nfdi.de/entity/Q58518442010-01-25Paper
Cryptographycal protocols in the Egerfood Information System2008-05-29Paper
Solving the resolution-free SAT problem by submodel propagation in linear time2005-05-13Paper
https://portal.mardi4nfdi.de/entity/Q48130072004-08-12Paper
https://portal.mardi4nfdi.de/entity/Q47905792003-02-04Paper

Research outcomes over time

This page was built for person: Gábor Kusper

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1777397&oldid=6497512"
Powered by MediaWiki