Showing 1 - 3 results of 3 for search 'Gábor Kusper', query time: 0.02s Refine Results
  1. 1
    Convert a Strongly Connected Directed Graph to a Black-and-White 3-SAT Problem by the Balatonboglár Model

    Convert a Strongly Connected Directed Graph to a Black-and-White 3-SAT Problem by the Balatonboglár Model by Gábor Kusper, Csaba Biró

    Published 2020-12-01
    Get full text
    Article
  2. 2
    Resolvable Networks—A Graphical Tool for Representing and Solving SAT

    Resolvable Networks—A Graphical Tool for Representing and Solving SAT by Gábor Kusper, Csaba Biró, Benedek Nagy

    Published 2021-10-01
    Get full text
    Article
  3. 3
    A novel data storage logic in the cloud [version 3; referees: 2 approved, 1 not approved]

    A novel data storage logic in the cloud [version 3; referees: 2 approved, 1 not approved] by Bence Mátyás, Gabriela Bautista, Máté Szarka, Gábor Járvás, Gábor Kusper, István Argay, Alice Fialowski, György Mátyás

    Published 2017-08-01
    Get full text
    Article

Search Tools: