Results for unsatisfiable translation from English to Spanish

English

Translate

unsatisfiable

Translate

Spanish

Translate
Translate

Instantly translate texts, documents and voice with Lara

Translate now

Human contributions

From professional translators, enterprises, web pages and freely available translation repositories.

Add a translation

English

Spanish

Info

English

unsatisfiable constraint

Spanish

restricción insatisfactible

Last Update: 2014-11-14
Usage Frequency: 3
Quality:

Reference: IATE

English

in this world it is for men unsatisfiable, and so imperishable.

Spanish

en este mundo el hombre no puede satisfacerlo, y el deseo se convierte así en imperecedero.

Last Update: 2018-02-13
Usage Frequency: 1
Quality:

Reference: IATE

English

on the other hand, it seems to be very difficult to determine the value of an unsatisfiable game, even approximately.

Spanish

por otro lado, parece ser muy difícil determinar el valor de un juego insatisfacible, ni siquiera aproximadamente.

Last Update: 2016-03-03
Usage Frequency: 1
Quality:

Reference: IATE

English

concerning ... russell 's paradox, finsler points out that one needs to distinguish between satisfiable and unsatisfiable circular definitions.

Spanish

en cuanto a russell ... 's paradoja, finsler señala que es necesario distinguir entre satisfiable y unsatisfiable definiciones circulares.

Last Update: 2018-02-13
Usage Frequency: 1
Quality:

Reference: IATE

English

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.

Spanish

"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.

Last Update: 2016-03-03
Usage Frequency: 1
Quality:

Reference: IATE
Warning: Contains invisible HTML formatting

Get a better translation with
10,207,316,151 human contributions

Users are now asking for help:



We use cookies to enhance your experience. By continuing to visit this site you agree to our use of cookies. Learn more. OK