Results for satisfiable translation from English to Spanish

the formula obtained by this transformation is satisfiable if and only if, the original formula is.
la formula obtenida por esta transformación es satifactible si y solo si la fórmula original lo es.

they do so in a way that ensures that dependencies of other packages in testing are always satisfiable.
lo hacen de manera que las dependencias de los otros paquetes en testing se puedan satisfacer siempre.

a dependency might not be satisfiable due to version restrictions and due to the limitation that only candidate versions are considered.
puede que nunca se satisfaga una dependencia por razones de restricciones de versiones y debido a la limitación de que se consideran solo las versiones candidatas.

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.

all of its dependencies must either be satisfiable by packages already in testing, or be satisfiable by the group of packages which are going to be installed at the same time;
todas sus dependencias deben poder ser satisfechas bien mediante paquetes ya en testing, bien mediante el grupo de paquetes que va a ser instalado al mismo tiempo;

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.

the journey is the dream 10. october to 17. november 2012 satisfiable: with flight from germany, the luxustörn on the radiance of the seas as early as 3.999 be eur per person in twin cabin booked.
el viaje es el sueño 10. de octubre al 17. noviembre 2012 satisfacible: con el vuelo de alemania, el luxustörn en el radiance of the seas tan pronto como sea 3.999 euros por persona en cabina doble reservado.

* constraints archive* forced satisfiable csp benchmarks of model rb* benchmarks -- xml representation of csp instances* dynamic flexible constraint satisfaction and its application to ai planning, ian miguel - slides.
* constraints archive* forced satisfiable csp benchmarks of model rb* benchmarks -- xml representation of csp instances* dynamic flexible constraint satisfaction and its application to ai planning, ian miguel - slides.