English Boolean satisfiability problem Cited by user Caleb Stanford on 31 Dec 2021 In logic and computer science, the Boolean satisfiability problem (sometimes called propositional satisfiability problem and abbreviated SATISFIABILITY, SAT or B-SAT) is…
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.
Persian تابع تفسیرنشده Cited by user Hooman Mallahzadeh on 27 Apr 2021 یک تابع تفسیرنشده ، یا نماد تابعی در منطق ریاضی، یعنی تابعی که هیچ ویژگی دیگری بجز «نام» و «تعداد عملوند» (آریتی) ندارد.
German Erfüllbarkeitsproblem der Aussagenlogik Cited by user Mbssdr on 09 Nov 2020 Das Erfüllbarkeitsproblem der Aussagenlogik (SAT, von ‚ Erfüllbarkeit‘) ist ein Entscheidungsproblem der theoretischen Informatik.