Nagy, BenedekBécsi, Zoltán József2009-05-272009-05-272009-05-252009-05-27http://hdl.handle.net/2437/86287Intervallum alapú logika, intervallumokkal végzett műveletek, SAT probléma megoldása intervallumokkal lineáris időben32huIntervallumSATIntervallumokon végzett számításokCalculations with IntervalsDEENK Témalista::Informatika::Számítógéptudományno_restriction