Terms containing satisfiability problem

Subject	English	Russian
progr.	boolean satisfiability problem	задача логической выполнимости (ssn)
AI.	boolean satisfiability problem	задача выполнимости булевых формул (Alex_Odeychuk)
AI.	propositional satisfiability problem	задача выполнимости булевых формул (boolean satisfiability problem Alex_Odeychuk)
progr.	restricted satisfiability problem	ограниченная проблема выполнимости (ssn)
AI.	satisfiability modulo theories problem	задача выполнимости формул в теориях (Alex_Odeychuk)
IT	satisfiability problem	задача о возможности выполнения всех условий
IT	satisfiability problem	проблема выполнимости
IT	satisfiability problem	проблема выполнимости (в булевой алгебре)
math.	satisfiability problem	задача выполнимости
AI.	solve a satisfiability problem	решать задачу выполнимости формул (контекстуальный перевод на русс. язык Alex_Odeychuk)
AI.	solve a satisfiability problem	решать задачу выполнимости формул в теория (контекстуальный перевод на русс. язык Alex_Odeychuk)