Tajti Tibor

tanársegéd
Matematikai és Informatikai Intézet
Számítástudományi Tanszék

Konferenciacikk

1. Biró Csaba, Kovásznai Gergely, Kusper Gábor, Tajti Tibor, Geda Gábor:
   Look-ahead alapú SAT solver-ek párhuzamosíthatóságának vizsgálata.
   Networkshop 2013, 105 - 111 (2013)
   Networkshop 2013
   Nyugat-Magyarországi Egyetem, Sopron, Magyarország, 2013.03.26 - 2013.03.28.
   [követ]


2. Kusper Gábor, Biró Csaba, Tajti Tibor:
   NYUGAT-MAGYARORSZÁGI EGYETEM.
   Networkshop 2013, 80 - 92 (2013)
   Networkshop 2013
   Nyugat-Magyarországi Egyetem, Sopron, Magyarország, 2013.03.26 - 2013.03.28.
   [követ]


3. Tajti Tibor, Biró Csaba, Kusper Gábor:
   SAT probléma kielégíthetőségének vizsgálata masszív parallel mesterséges neurális hálózat alkalmazásáva.
   Networkshop 2013, 72 - 77 (2013)
   Networkshop 2013
   Nyugat-Magyarországi Egyetem, Sopron, Magyarország, 2013.03.26 - 2013.03.28.
   [követ]


4. Biró Csaba, Kusper Gábor, Tajti Tibor:
   How to Generate Weakly Nondecisive SAT Instances.
   Proceedings of SISY 2013 IEEE 11th International Symposium on Intelligent Systems and Informatics, 265 - 269 (2013)
   SISY 2013 IEEE 11th International Symposium on Intelligent Systems and Informatics
   University of Novi Sad, Serbia, Subotica, Szerbia, 2013.09.26 - 2013.09.28.
   [követ]


5. Biró Csaba, Radványi Tibor, Kusper Gábor, Tajti Tibor:
   Szenzor hálózatok modellezése és vizsgálata nulladrendű logika segítségével.
   SzámOkt 2013 XXIII. Nemzetközi számítástechnika és oktatás konferencia, 147 - 153 (2013)
   SzámOkt 2013
   Nagyszeben, Románia, 2013.10.10 - 2013.10.13.
   


6. Kusper Gábor, Tajti Tibor:
   A Magyar Közös Tudás projekt első eredményei.
   Networkshop 2012 CD kiadvány, 1 - 9 (2012)
   Networkshop 2012
   Pannon Egyetem, Veszprém, Magyarország, 2012.04.11 - 2012.04.13.
   [követ]