Hungarian Logikai kielégítési probléma Cited by user K karesz on 09 Jun 2022 A logikában és a számítástechnikában a logikai kielégítési probléma (néha propozíciós kielégítési problémának nevezik, és rövidítve SATISFIABILITY, SAT vagy B-SAT) annak…
English Boolean satisfiability problem Cited by user Fschwarzentruber on 06 Sep 2019 In computer science, the Boolean satisfiability problem (sometimes called propositional satisfiability problem and abbreviated SATISFIABILITY or SAT) is the problem of…