SAT probléma kielégíthetőségének vizsgálata masszív parallel mesterséges neurális hálózat alkalmazásávalSatisfiability test of SAT problems using artificial neural nets with massive parallel programmingTajti Tibor <tibor.tajti@gmail.com> Eszterházy Károly Főiskola Számítástud. Tanszék Bíró Csaba <birocs@aries.ektf.hu> Eszterházy Károly Főiskola Számítástud. Tanszék Kusper Gábor Dr. <gkusper@aries.ektf.hu> Eszterházy Károly Főiskola Számítástud. Tanszék
|