Перевод: с испанского на все языки

со всех языков на испанский

satisfiability

  • 1 satisfactoriedad

    • satisfiability

    Diccionario Técnico Español-Inglés > satisfactoriedad

  • 2 posibilidad

    f.
    possibility, chance.
    cabe la posibilidad de que… there is a chance that…
    posibilidades económicas financial means o resources
    * * *
    1 possibility
    ¿hay alguna posibilidad de que salga elegida? is there any chance of her being elected?
    * * *
    noun f.
    * * *
    SF
    1) (=oportunidad) chance, possibility

    no existe posibilidad de que vengathere's no chance o possibility that he'll come

    no tenemos ninguna posibilidad — we don't have the slightest chance, we don't stand a chance

    ¿tienes posibilidad de aprobar el examen? — do you have any chance of passing the exam?

    2) (=alternativa) possibility

    hay dos posibilidades: operación o radioterapia — there are two alternatives o possibilities: an operation or radiotherapy

    3) pl posibilidades (=recursos) means
    * * *
    1) ( circunstancia) possibility

    posibilidad DE + INF — chance of -ing

    ¿qué posibilidad(es) tiene de ganar? — what chance does she have o what are her chances of winning?

    2) posibilidades femenino plural ( medios económicos) means (pl)

    vivir más allá/dentro de or por encima de las posibilidades de uno — to live beyond/within one's means

    la casa está por encima de mis posibilidades — the house is out of my price range, I can't afford the house

    * * *
    = ability, avenue, chance, eventuality, facility, feasibility, possibility, probability, prospect, scope, potentiality, maybe, eligibility, sporting chance.
    Ex. The ability to search on word stems is particularly valuable where the text to be searched is in free-language format.
    Ex. In the attempt to match the above criteria, there are two fundamentally distinct avenues to the construction of the schedules of a classification scheme.
    Ex. In some authority files (titles, ISBN/ISSN, national bibliographic record numbers), no search of the file is made because there is little chance of finding the new entry in the file.
    Ex. It was not our intention, not indeed is it feasible, to cover every eventuality that will be encountered in producing A/Z index entries.
    Ex. Apart from this additional facility Double-KWIC indexes have most of the facilities, features and drawbacks of KWIC and KWOC indexes.
    Ex. However, even with selective indexing in combination, the limit of feasibility is usually reckoned to be compound subjects consisting of five terms.
    Ex. Apart from the names of subjects, the names of corporate bodies, persons, chemicals, trade products, and trade names are some other possibilities.
    Ex. Our system should be one which reduces the probability of error as far a possible.
    Ex. At the time OCLC started, there was no prospect for a national authority file.
    Ex. They permit much more scope for flexible synthesis than can be achieved with DC or LCC.
    Ex. The combination of optical projection and photographic reduction is already producing some results in microfilm for scholarly purposes, and the potentialities are highly suggestive.
    Ex. Instead of ranking the documents retrieved in probable order of relevance, the conventional search sorts the relevant sheep from the irrelevant goats and ignores the fact that there are a lot of ' maybe's' involved.
    Ex. The advantages of a foundation include tax-deductible donations, increased eligibility for grants, and the involvement of affluent and influential local figures as advocates for the public library service.
    Ex. The bear was shot in his cage and was never given a sporting chance to fight for his life.
    ----
    * abanico de posibilidades = kaleidoscope, kaleidoscope of possibilities.
    * abarcar todas las posibilidades = run + the gamut.
    * abrir nuevas posibilidades = open up + new territory, open up + possibilities, open + possibilities.
    * abrirse a posibilidades = be open to possibilities.
    * alcanzar el límite de + Posesivo + posibilidades = reach + the limits of + Posesivo + potential.
    * analizar la posibilidad de (que) = examine + the possibility that/of.
    * analizar las posibilidades de = look at + the prospects for.
    * analizar una posibilidad = explore + idea.
    * ante la posibilidad de = at the prospect of.
    * anular las posibilidades = close off + possibilities.
    * anular una posibilidad = block off + alley.
    * aprovechar al máximo las posibilidades = realise + the potential.
    * aprovechar las posibilidades de Algo = achieve + Posesivo + full potential, develop + potential, develop + Nombre + to its full potential.
    * aprovechar las posibilidades que nos ofrece = harness + the power of.
    * aprovechar + Posesivo + posibilidades = achieve + Posesivo + potential.
    * aumentar las posibilidades = increase + the odds.
    * barajar la posibilidad = entertain + the possibility.
    * como otra posibilidad = as an alternative.
    * con posibilidades comerciales = commercially viable.
    * considerar la posibilidad = entertain + the possibility.
    * considerar las posibilidades de Algo = consider + possibilities.
    * contemplar la posibilidad = toy with, toy with + idea of, entertain + the possibility.
    * contemplar la posibilidad de suicidarse = contemplate + suicide.
    * contemplar posibilidades = envision + possibilities.
    * crear posibilidades = open + window, create + possibilities.
    * dar una posibilidad = afford + opportunity.
    * dejar abierta la posibilidad de que = leave + open the possibility that.
    * dentro de las posibilidades económicas de = within the price range of.
    * dentro de + Posesivo + posibilidades = in the ballpark for + Pronombre, in + Posesivo + ballpark range.
    * desarrollar las posibilidades = live up to + Posesivo + potential.
    * disminuir la posibilidad = lessen + possibility.
    * estar a la altura de las posibilidades = live up to + Posesivo + potential.
    * estar dentro de las posibilidades de uno = lie within + Posesivo + power.
    * estar fuera de las posibilidades de Alguien = be out of + Posesivo + league.
    * estudiar la posibilidad = explore + the possibility.
    * estudiar una posibilidad = explore + idea.
    * examinar la posibilidad de (que) = examine + the possibility that/of.
    * existir la posibilidad de = there + be + scope for.
    * existir la posibilidad de que = there + be + room for.
    * fuera del alcance de las posibilidades de Alguien = beyond + Posesivo + powers.
    * hacer realidad las posibilidades de Algo = unleash + Posesivo + potential.
    * hasta el límite de las posibilidades de Algo/Alguien = to + Posesivo + full potential.
    * hasta el máximo de las posibilidades de Algo = to + Posesivo + full potential.
    * incluir todas las posibilidades = run + the gamut.
    * ir más allá de las posibilidades de Alguien = be beyond + Posesivo + capabilities.
    * las posibilidades son infinitas = the possibilities are endless.
    * mostrar posibilidades = show + potential.
    * no tener ni la más mínima posibilidad = not to have a prayer.
    * no tener ni la más remota posibilidad = not to have a prayer.
    * no tener posibilidades = be dead meat.
    * ofrecer la posibilidad = afford + possibility, provide + facility.
    * ofrecer la posibilidad de = have + the potential (to/for), offer + the facility.
    * ofrecer la posibilidad de que = usher in + the day when.
    * ofrecer posibilidades = have + potential, offer + options, offer + possibilities, hold + potential, present + possibilities, open (up) + avenues.
    * ofrecer una posibilidad = afford + opportunity.
    * otra posibilidad = as an alternative.
    * otra posibilidad es = for what it's worth [FWIW].
    * otra posibilidad es que = alternatively.
    * otra posibilidad + ser = another possibility + be.
    * perjudicar las posibilidades de = prejudice + chances of.
    * permitir la posibilidad = afford + possibility, allow for.
    * plantear la posibilidad = raise + possibility.
    * plantear la posibilidad de = discuss + the possibility of.
    * plantear una posibilidad = pose + possibility.
    * por debajo de las posibilidades (de una persona) = below + Posesivo + capabilities.
    * por la posibilidad de = at the prospect of.
    * posibilidad de = facility for.
    * posibilidad de conseguir Algo = attainability.
    * posibilidad de desarrollo = potential for development.
    * posibilidad de descascararse = flakiness.
    * posibilidad de descascarillarse = flakiness.
    * posibilidad de descubrir = discoverability.
    * posibilidad de expandir = expandability.
    * posibilidad de insertar hiperenlaces = linkability.
    * posibilidad de localizar = traceability.
    * posibilidad de pelarse = flakiness.
    * posibilidad de realización = potential for fulfilment.
    * posibilidad de reubicación = relocatability.
    * posibilidad de ser alcanzable = achievability.
    * posibilidad de ser comparado = comparability.
    * posibilidad de ser localizado = traceability.
    * posibilidad de ser realizable = satisfiability.
    * posibilidad de ser solucionado = satisfiability.
    * posibilidad de ser usado de nuevo = reusability [re-usability].
    * posibilidad de toma de decisiones = decidability.
    * posibilidades = capabilities, catalogue [catalog, -USA], potential, full potential.
    * posibilidades de acceso = access capabilities.
    * posibilidades de búsqueda = searching capabilities, searchability, retrieval facilities, search facilities.
    * posibilidades de futuro = future possibilities.
    * posibilidades muy variadas = rich possibilities.
    * presentar posibilidades = present + possibilities, open (up) + avenues.
    * reducir la posibilidad = minimise + possibility.
    * reducir las posibilidades de = narrow + the vision of.
    * sobrepasar las posibilidades de Alguien = be beyond + Posesivo + capabilities.
    * sobrepesar las diferentes posibilidades = ponder + the various possibilities.
    * sugerir una posibilidad = float + possibility.
    * tener alguna posibilidad = have + a fighting chance.
    * tener alguna posibilidad de triunfar = have + a fighting chance.
    * tener en cuenta las posibilidades de Algo = consider + possibilities.
    * tener la posibilidad de = have + chance.
    * tener pocas posibilidades de = have + little recourse.
    * tener posibilidades = stand + chance, be in with a chance.
    * tener presente las posibilidades de Algo = consider + possibilities.
    * tener todas las posibilidades de = have + every possibility of.
    * tratar la posibilidad de = discuss + the possibility of.
    * una gama de posibilidades = a palette of possibilities.
    * una posibilidad muy remota = a long shot.
    * ver la posibilidad = see + the possibility.
    * * *
    1) ( circunstancia) possibility

    posibilidad DE + INF — chance of -ing

    ¿qué posibilidad(es) tiene de ganar? — what chance does she have o what are her chances of winning?

    2) posibilidades femenino plural ( medios económicos) means (pl)

    vivir más allá/dentro de or por encima de las posibilidades de uno — to live beyond/within one's means

    la casa está por encima de mis posibilidades — the house is out of my price range, I can't afford the house

    * * *
    = ability, avenue, chance, eventuality, facility, feasibility, possibility, probability, prospect, scope, potentiality, maybe, eligibility, sporting chance.

    Ex: The ability to search on word stems is particularly valuable where the text to be searched is in free-language format.

    Ex: In the attempt to match the above criteria, there are two fundamentally distinct avenues to the construction of the schedules of a classification scheme.
    Ex: In some authority files (titles, ISBN/ISSN, national bibliographic record numbers), no search of the file is made because there is little chance of finding the new entry in the file.
    Ex: It was not our intention, not indeed is it feasible, to cover every eventuality that will be encountered in producing A/Z index entries.
    Ex: Apart from this additional facility Double-KWIC indexes have most of the facilities, features and drawbacks of KWIC and KWOC indexes.
    Ex: However, even with selective indexing in combination, the limit of feasibility is usually reckoned to be compound subjects consisting of five terms.
    Ex: Apart from the names of subjects, the names of corporate bodies, persons, chemicals, trade products, and trade names are some other possibilities.
    Ex: Our system should be one which reduces the probability of error as far a possible.
    Ex: At the time OCLC started, there was no prospect for a national authority file.
    Ex: They permit much more scope for flexible synthesis than can be achieved with DC or LCC.
    Ex: The combination of optical projection and photographic reduction is already producing some results in microfilm for scholarly purposes, and the potentialities are highly suggestive.
    Ex: Instead of ranking the documents retrieved in probable order of relevance, the conventional search sorts the relevant sheep from the irrelevant goats and ignores the fact that there are a lot of ' maybe's' involved.
    Ex: The advantages of a foundation include tax-deductible donations, increased eligibility for grants, and the involvement of affluent and influential local figures as advocates for the public library service.
    Ex: The bear was shot in his cage and was never given a sporting chance to fight for his life.
    * abanico de posibilidades = kaleidoscope, kaleidoscope of possibilities.
    * abarcar todas las posibilidades = run + the gamut.
    * abrir nuevas posibilidades = open up + new territory, open up + possibilities, open + possibilities.
    * abrirse a posibilidades = be open to possibilities.
    * alcanzar el límite de + Posesivo + posibilidades = reach + the limits of + Posesivo + potential.
    * analizar la posibilidad de (que) = examine + the possibility that/of.
    * analizar las posibilidades de = look at + the prospects for.
    * analizar una posibilidad = explore + idea.
    * ante la posibilidad de = at the prospect of.
    * anular las posibilidades = close off + possibilities.
    * anular una posibilidad = block off + alley.
    * aprovechar al máximo las posibilidades = realise + the potential.
    * aprovechar las posibilidades de Algo = achieve + Posesivo + full potential, develop + potential, develop + Nombre + to its full potential.
    * aprovechar las posibilidades que nos ofrece = harness + the power of.
    * aprovechar + Posesivo + posibilidades = achieve + Posesivo + potential.
    * aumentar las posibilidades = increase + the odds.
    * barajar la posibilidad = entertain + the possibility.
    * como otra posibilidad = as an alternative.
    * con posibilidades comerciales = commercially viable.
    * considerar la posibilidad = entertain + the possibility.
    * considerar las posibilidades de Algo = consider + possibilities.
    * contemplar la posibilidad = toy with, toy with + idea of, entertain + the possibility.
    * contemplar la posibilidad de suicidarse = contemplate + suicide.
    * contemplar posibilidades = envision + possibilities.
    * crear posibilidades = open + window, create + possibilities.
    * dar una posibilidad = afford + opportunity.
    * dejar abierta la posibilidad de que = leave + open the possibility that.
    * dentro de las posibilidades económicas de = within the price range of.
    * dentro de + Posesivo + posibilidades = in the ballpark for + Pronombre, in + Posesivo + ballpark range.
    * desarrollar las posibilidades = live up to + Posesivo + potential.
    * disminuir la posibilidad = lessen + possibility.
    * estar a la altura de las posibilidades = live up to + Posesivo + potential.
    * estar dentro de las posibilidades de uno = lie within + Posesivo + power.
    * estar fuera de las posibilidades de Alguien = be out of + Posesivo + league.
    * estudiar la posibilidad = explore + the possibility.
    * estudiar una posibilidad = explore + idea.
    * examinar la posibilidad de (que) = examine + the possibility that/of.
    * existir la posibilidad de = there + be + scope for.
    * existir la posibilidad de que = there + be + room for.
    * fuera del alcance de las posibilidades de Alguien = beyond + Posesivo + powers.
    * hacer realidad las posibilidades de Algo = unleash + Posesivo + potential.
    * hasta el límite de las posibilidades de Algo/Alguien = to + Posesivo + full potential.
    * hasta el máximo de las posibilidades de Algo = to + Posesivo + full potential.
    * incluir todas las posibilidades = run + the gamut.
    * ir más allá de las posibilidades de Alguien = be beyond + Posesivo + capabilities.
    * las posibilidades son infinitas = the possibilities are endless.
    * mostrar posibilidades = show + potential.
    * no tener ni la más mínima posibilidad = not to have a prayer.
    * no tener ni la más remota posibilidad = not to have a prayer.
    * no tener posibilidades = be dead meat.
    * ofrecer la posibilidad = afford + possibility, provide + facility.
    * ofrecer la posibilidad de = have + the potential (to/for), offer + the facility.
    * ofrecer la posibilidad de que = usher in + the day when.
    * ofrecer posibilidades = have + potential, offer + options, offer + possibilities, hold + potential, present + possibilities, open (up) + avenues.
    * ofrecer una posibilidad = afford + opportunity.
    * otra posibilidad = as an alternative.
    * otra posibilidad es = for what it's worth [FWIW].
    * otra posibilidad es que = alternatively.
    * otra posibilidad + ser = another possibility + be.
    * perjudicar las posibilidades de = prejudice + chances of.
    * permitir la posibilidad = afford + possibility, allow for.
    * plantear la posibilidad = raise + possibility.
    * plantear la posibilidad de = discuss + the possibility of.
    * plantear una posibilidad = pose + possibility.
    * por debajo de las posibilidades (de una persona) = below + Posesivo + capabilities.
    * por la posibilidad de = at the prospect of.
    * posibilidad de = facility for.
    * posibilidad de conseguir Algo = attainability.
    * posibilidad de desarrollo = potential for development.
    * posibilidad de descascararse = flakiness.
    * posibilidad de descascarillarse = flakiness.
    * posibilidad de descubrir = discoverability.
    * posibilidad de expandir = expandability.
    * posibilidad de insertar hiperenlaces = linkability.
    * posibilidad de localizar = traceability.
    * posibilidad de pelarse = flakiness.
    * posibilidad de realización = potential for fulfilment.
    * posibilidad de reubicación = relocatability.
    * posibilidad de ser alcanzable = achievability.
    * posibilidad de ser comparado = comparability.
    * posibilidad de ser localizado = traceability.
    * posibilidad de ser realizable = satisfiability.
    * posibilidad de ser solucionado = satisfiability.
    * posibilidad de ser usado de nuevo = reusability [re-usability].
    * posibilidad de toma de decisiones = decidability.
    * posibilidades = capabilities, catalogue [catalog, -USA], potential, full potential.
    * posibilidades de acceso = access capabilities.
    * posibilidades de búsqueda = searching capabilities, searchability, retrieval facilities, search facilities.
    * posibilidades de futuro = future possibilities.
    * posibilidades muy variadas = rich possibilities.
    * presentar posibilidades = present + possibilities, open (up) + avenues.
    * reducir la posibilidad = minimise + possibility.
    * reducir las posibilidades de = narrow + the vision of.
    * sobrepasar las posibilidades de Alguien = be beyond + Posesivo + capabilities.
    * sobrepesar las diferentes posibilidades = ponder + the various possibilities.
    * sugerir una posibilidad = float + possibility.
    * tener alguna posibilidad = have + a fighting chance.
    * tener alguna posibilidad de triunfar = have + a fighting chance.
    * tener en cuenta las posibilidades de Algo = consider + possibilities.
    * tener la posibilidad de = have + chance.
    * tener pocas posibilidades de = have + little recourse.
    * tener posibilidades = stand + chance, be in with a chance.
    * tener presente las posibilidades de Algo = consider + possibilities.
    * tener todas las posibilidades de = have + every possibility of.
    * tratar la posibilidad de = discuss + the possibility of.
    * una gama de posibilidades = a palette of possibilities.
    * una posibilidad muy remota = a long shot.
    * ver la posibilidad = see + the possibility.

    * * *
    A (circunstancia) possibility
    no se ha descartado esa posibilidad we haven't ruled out that possibility
    hay que estudiar todas las posibilidades we have to explore all the possibilities o options
    hemos previsto todas las posibilidades we have anticipated every eventuality ( frml)
    posibilidad DE + INF chance OF -ING
    ¿qué posibilidad(es) tiene de ganar? what chance does she have o what are her chances of winning?
    tiene muchas posibilidades de salir elegido he has a good chance of being elected
    hay pocas posibilidades de encontrarlo con vida there is little chance of finding him alive
    posibilidad DE QUE + SUBJ:
    esto aumenta las posibilidades de que gane this makes it more likely that he will win, this shortens the odds on him winning
    existe la posibilidad de que estés equivocado you might just be wrong, it's just possible that you're wrong
    gente que vive dentro de/más allá or por encima de sus posibilidades people who live within/beyond their means
    eso está por encima de mis posibilidades that's out of my price range, I can't afford that
    * * *

     

    posibilidad sustantivo femenino
    1 ( circunstancia) possibility;

    tiene muchas posibilidades de salir elegido he has a good chance of being elected;
    existe la posibilidad de que estés equivocado you might just be wrong
    2
    posibilidades sustantivo femenino plural



    la casa está por encima de mis posibilidades I can't afford the house


    posibilidad
    I sustantivo femenino possibility
    II mpl (recursos, medios) means: pasar las Navidades en París no está dentro mis posibilidades, I can't afford to spend Christmas in Paris
    ' posibilidad' also found in these entries:
    Spanish:
    contemplar
    - entrever
    - explorar
    - O
    - ofrecer
    - poder
    - remota
    - remoto
    - resquicio
    - caber
    - considerar
    - excluir
    - igual
    - oportunidad
    - paso
    - perspectiva
    - plantear
    - ventilación
    English:
    another
    - avenue
    - can
    - cat
    - chance
    - consider
    - danger
    - daunt
    - hopeful
    - may
    - option
    - outside
    - physical
    - ponder
    - possibility
    - prospect
    - question
    - remote
    - scenario
    - shot
    - slender
    - slim
    - would
    - write off
    - any
    - bargain
    - definite
    - further
    - likelihood
    - might
    - open
    * * *
    1. [circunstancia] possibility, chance;
    no descartamos ninguna posibilidad we are not ruling anything out;
    cabe la posibilidad de que… there is a chance o possibility that…;
    tienes muchas posibilidades de que te admitan you have a good chance of being accepted;
    no hay ninguna posibilidad de que aprueben la propuesta there is no chance that they will approve the proposal
    2. [opción] possibility;
    tienes tres posibilidades, ¿cuál eliges? you've got three options, which will you choose?;
    una posibilidad sería que fuéramos en avión one possibility would be for us to go by plane
    3.
    posibilidades (económicas) [medios] financial means o resources;
    comprar una casa no entra dentro de nuestras posibilidades we don't have the means o we can't afford to buy a house
    * * *
    f possibility;
    vivir por encima de sus posibilidades live beyond one’s means
    * * *
    1) : possibility
    : means, income
    * * *
    posibilidad n possibility [pl. possibilities]

    Spanish-English dictionary > posibilidad

  • 3 posibilidad de ser realizable

    Ex. The satisfiability of an information model in a universe of discourse can be formally checked by complementing the information model with a representation of concrete knowledge which is assumed to be complete.
    * * *

    Ex: The satisfiability of an information model in a universe of discourse can be formally checked by complementing the information model with a representation of concrete knowledge which is assumed to be complete.

    Spanish-English dictionary > posibilidad de ser realizable

  • 4 posibilidad de ser solucionado

    Ex. The satisfiability of an information model in a universe of discourse can be formally checked by complementing the information model with a representation of concrete knowledge which is assumed to be complete.
    * * *

    Ex: The satisfiability of an information model in a universe of discourse can be formally checked by complementing the information model with a representation of concrete knowledge which is assumed to be complete.

    Spanish-English dictionary > posibilidad de ser solucionado

  • 5 viabilidad

    f.
    viability.
    * * *
    1 viability
    \
    plan de viabilidad viability study
    * * *
    SF
    1) [de un plan] viability, feasibility
    2) (Aut) road conditions [pl]
    * * *
    femenino ( de proyecto) viability, feasibility; ( de bebé) viability
    * * *
    = feasibility, viability, practicability, workability, satisfiability, tractability.
    Ex. However, even with selective indexing in combination, the limit of feasibility is usually reckoned to be compound subjects consisting of five terms.
    Ex. Witness the viability and influence of Panizzi's ideology despite the vulnerability of many of his rules = Véase como ejemplo la viabilidad e influencia de la ideología de Panizzi a pesar de la vulnerabilidad de muchas de sus reglas.
    Ex. This article analyses the feasibility, practicability, overall applicability and financial issues of constructing a library network.
    Ex. A unified data base of the Republic of Ukraine's information system illustrates the workability of the principles.
    Ex. The satisfiability of an information model in a universe of discourse can be formally checked by complementing the information model with a representation of concrete knowledge which is assumed to be complete.
    Ex. Experiments in automated reasoning have substantially broadened the meaning of 'practical tractability'.
    ----
    * estudio de viabilidad = demonstration project, feasibility study.
    * * *
    femenino ( de proyecto) viability, feasibility; ( de bebé) viability
    * * *
    = feasibility, viability, practicability, workability, satisfiability, tractability.

    Ex: However, even with selective indexing in combination, the limit of feasibility is usually reckoned to be compound subjects consisting of five terms.

    Ex: Witness the viability and influence of Panizzi's ideology despite the vulnerability of many of his rules = Véase como ejemplo la viabilidad e influencia de la ideología de Panizzi a pesar de la vulnerabilidad de muchas de sus reglas.
    Ex: This article analyses the feasibility, practicability, overall applicability and financial issues of constructing a library network.
    Ex: A unified data base of the Republic of Ukraine's information system illustrates the workability of the principles.
    Ex: The satisfiability of an information model in a universe of discourse can be formally checked by complementing the information model with a representation of concrete knowledge which is assumed to be complete.
    Ex: Experiments in automated reasoning have substantially broadened the meaning of 'practical tractability'.
    * estudio de viabilidad = demonstration project, feasibility study.

    * * *
    1 (de un proyecto) viability, feasibility
    2 (de un bebé) viability
    * * *

     

    viabilidad sustantivo femenino
    1 viability
    2 feasibility, practicability
    ♦ Locuciones: Econ plan de viabilidad: ante la difícil situación de la empresa, se está elaborando un plan de viabilidad, due to the company's precarious situation a feasibility plan is going to be drawn up
    ' viabilidad' also found in these entries:
    Spanish:
    duda
    English:
    feasibility
    - practicality
    * * *
    viability, feasibility
    * * *
    f viability, feasibility

    Spanish-English dictionary > viabilidad

  • 6 realizable

    adj.
    1 feasible (factible).
    2 realizable (finance).
    3 marketable.
    * * *
    1 (plan etc) feasible
    2 (objetivo) attainable
    * * *
    adj.
    * * *
    ADJ
    1) [propósito] attainable; [proyecto] practical, feasible
    2) (Econ) [activo] realizable
    * * *
    adjetivo feasible, practicable
    * * *
    = attainable, realisable [realizable, -USA], satisfiable.
    Ex. This technique's integration of brainstorming and theory principles establishes an effective, stimulating, innovative, rapid and attainable IRS.
    Ex. Barbara Tillett's vision of one seamless bibliographic system, either real or virtual, looks realizable over a 5 to 10 year horizon.
    Ex. The result is a pair of overlapping sets of sufficient conditions for autonomy that are argued to be satisfiable by real human agents.
    ----
    * posibilidad de ser realizable = satisfiability.
    * * *
    adjetivo feasible, practicable
    * * *
    = attainable, realisable [realizable, -USA], satisfiable.

    Ex: This technique's integration of brainstorming and theory principles establishes an effective, stimulating, innovative, rapid and attainable IRS.

    Ex: Barbara Tillett's vision of one seamless bibliographic system, either real or virtual, looks realizable over a 5 to 10 year horizon.
    Ex: The result is a pair of overlapping sets of sufficient conditions for autonomy that are argued to be satisfiable by real human agents.
    * posibilidad de ser realizable = satisfiability.

    * * *
    feasible, practicable
    * * *

    realizable adjetivo
    feasible, practicable
    realizable adjetivo feasible
    ' realizable' also found in these entries:
    English:
    feasible
    * * *
    1. [factible] feasible
    2. Fin realizable

    Spanish-English dictionary > realizable

  • 7 solucionado

    ----
    * posibilidad de ser solucionado = satisfiability.
    * * *
    * posibilidad de ser solucionado = satisfiability.

    Spanish-English dictionary > solucionado

  • 8 satisfactoriedad

    f.
    satisfiability.

    Spanish-English dictionary > satisfactoriedad

См. также в других словарях:

  • Satisfiability — Das Erfüllbarkeitsproblem der Aussagenlogik (SAT, von engl. satisfiability) ist ein Entscheidungsproblem. Es fragt, ob eine aussagenlogische Formel erfüllbar ist. Anwendungen finden sich unter anderem in der Komplexitätstheorie, Verifikation und… …   Deutsch Wikipedia

  • Satisfiability Modulo Theories — (SMT) problem is a decision problem for logical formulas with respect to combinations of background theories expressed in classical first order logic with equality. Examples of theories typically used in computer science are the theory of real… …   Wikipedia

  • Satisfiability Modulo Theories — В программировании, Satisfiability Modulo Theories (SMT) это задача разрешимости для логических формул с учётом лежащих в их основе теорий. Примерами таких теорий для SMT формул являются: теории целых и вещественных чисел, теории списков,… …   Википедия

  • Satisfiability Modulo Theories (SMT) — Problème SMT (Satisfiability Modulo Theories) est un problème de la décision pour les formules logiques dans le respect d une théorie exprimée dans la logique du premier ordre contenant l égalité. Des exemples de théories sont la théorie des… …   Wikipédia en Français

  • satisfiability — noun Able to be satisfied …   Wiktionary

  • Boolean satisfiability problem — For the concept in mathematical logic, see Satisfiability. 3SAT redirects here. For the Central European television network, see 3sat. In computer science, satisfiability (often written in all capitals or abbreviated SAT) is the problem of… …   Wikipedia

  • 2-satisfiability — In computer science, 2 satisfiability (abbreviated as 2 SAT or just 2SAT) is the problem of determining whether a collection of two valued (Boolean or binary) variables with constraints on pairs of variables can be assigned values satisfying all… …   Wikipedia

  • Maximum satisfiability problem — In computational complexity theory, the Maximum Satisfiability problem (MAX SAT) is the problem of determining the maximum number of clauses, of a given Boolean formula, that can be satisfied by some assignment. It is an FNP generalization of SAT …   Wikipedia

  • Horn-satisfiability — In formal logic, Horn satisfiability, or HORNSAT, is the problem of deciding whether a given set of propositional Horn clauses is satisfiable.A Horn clause is a clause with at most one positive literal, called the head of the clause, and any… …   Wikipedia

  • Local consistency — In constraint satisfaction, local consistency conditions are properties of constraint satisfaction problems related to the consistency of subsets of variables or constraints. Several such conditions exist, the most known being node consistency,… …   Wikipedia

  • Median graph — The median of three vertices in a median graph In mathematics, and more specifically graph theory, a median graph is an undirected graph in which any three vertices a, b, and c have a unique median: a vertex m(a,b,c) that belongs to shortest… …   Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»