From professional translators, enterprises, web pages and freely available translation repositories.
on the other hand, it seems to be very difficult to determine the value of an unsatisfiable game, even approximately.
por otro lado, parece ser muy difícil determinar el valor de un juego insatisfacible, ni siquiera aproximadamente.
concerning ... russell 's paradox, finsler points out that one needs to distinguish between satisfiable and unsatisfiable circular definitions.
en cuanto a russell ... 's paradoja, finsler señala que es necesario distinguir entre satisfiable y unsatisfiable definiciones circulares.
look-ahead is also often used in backtracking to attempt to foresee the effects of choosing a variable or a value, thus sometimes determining in advance when a subproblem is satisfiable or unsatisfiable.
"look-ahead" es también a menudo usado en backtracking para intentar prever el efecto de seleccionar una variable o un valor, por lo tanto, determinar a veces con anticipación cuándo es satisfasible o insatisfasible un subproblema.