Sign in | English | Terms of Use
DictionaryForumContacts

   Russian ⇄
Terms containing булевы формулы | all forms | exact matches only | in specified order only
SubjectRussianEnglish
progr.булева формулаboolean formula (ssn)
progr.булева формулаboolean expression (ssn)
media.булева формулаBoolean expression (формула, образованная из булевых переменных с помощью логических связок «ИЛИ», «И» и «НЕ»)
progr.булевы формулыboolean expressions (ssn)
progr.булевы формулыboolean formulas (ssn)
progr.булевы формулы с кванторамиquantified boolean formulas (ssn)
AI.выполнимость булевых формулpropositional satisfiability (boolean satisfiability Alex_Odeychuk)
AI.выполнимость булевых формулboolean satisfiability (Alex_Odeychuk)
progr.вычисление булевых формул с кванторамиevaluating quantified boolean formulas (ssn)
AI.задача выполнимости булевых формулpropositional satisfiability problem (boolean satisfiability problem Alex_Odeychuk)
AI.задача выполнимости булевых формулSAT (boolean SATisfiability problem; является важной для теории вычислительной сложности алгоритмической задачей Alex_Odeychuk)
AI.задача выполнимости булевых формулboolean satisfiability problem (Alex_Odeychuk)
AI.задача выполнимости булевых формул в конъюнктивной нормальной формеSATCNF (Alex_Odeychuk)
AI.задача выполнимости булевых формул в k-конъюнктивной нормальной формеk-SAT (Alex_Odeychuk)
AI.задача выполнимости булевых формул в 2-конъюнктивной нормальной форме2-SAT (Alex_Odeychuk)
progr.закодированная булева формулаcoded boolean expression (ssn)
progr.коды невыполнимых булевых формулcodes for an unsatisfiable boolean expression (ssn)
AI.компилятор на основе решателя задач выполнимости булевых формулSAT compiler (Alex_Odeychuk)
progr.множество закодированных выполнимых булевых формулset of coded boolean expressions that are satisfiable (ssn)
progr.невыполнимая булева формулаunsatisfiable boolean expression (ssn)
progr.правильные коды булевых формулvalid codes for a boolean expression (ssn)
AI.преобразование в булевые формулыconverting into a boolean-logic form (Alex_Odeychuk)
AI.решатель задач выполнимости булевых формулSAT solver (Alex_Odeychuk)

Get short URL