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 SAT solver Cited by user Caleb Stanford on 31 Dec 2021 In computer science and formal methods, a SAT solver is a computer program which aims to solve the Boolean satisfiability problem.
Arabic مسألة قابلية الإرضاء المنطقية Cited by user Maher (Beit al Hikma) on 15 Jul 2021 مسألة قابلية الإرضاء المنطقية، في المنطق وعلوم الحاسوب، (تسمى أحيانًا مسألة قابلية الإرضاء الافتراضية وتختصر إلى قابلية الإرضاء أو إس إيه تي أو بي-إس إيه تي) هي مسألة تحدي…
Catalan Problema de satisfacibilitat booleana Cited by user Mariusmm on 01 Dec 2018 En teoria de complexitat computacional, el problema de satisfacibilitat booleana (també conegut per les sigles SAT) és el problema de determinar si existeix una…