problema de satisfacibilidad booleana oor Engels
problema de satisfacibilidad booleana
es
Problema de determinar si las variables de una fórmula booleana dada se pueden asignar a fin de hacer que la fórmula evalúe en VERDADERO.
Vertalings in die woordeboek Spaans - Engels
Boolean satisfiability problem
es
Problema de determinar si las variables de una fórmula booleana dada se pueden asignar a fin de hacer que la fórmula evalúe en VERDADERO.
en
The problem of determining if the variables of a given Boolean formula can be assigned in such a way as to make the formula evaluate to TRUE.
SAT
es
Problema de determinar si las variables de una fórmula booleana dada se pueden asignar a fin de hacer que la fórmula evalúe en VERDADERO.
en
The problem of determining if the variables of a given Boolean formula can be assigned in such a way as to make the formula evaluate to TRUE.
boolean satisfiability problem
Geskatte vertalings
Vertoon algoritmies gegenereerde vertalings
voorbeelde
Advanced filtering
Voorbeelde moet herlaai word.
El Teorema de Cook demuestra que el problema de satisfacibilidad booleana es un problema NP-completo.
Where are you from?The cafeWikiMatrix WikiMatrix
(Problema de satisfacibilidad booleana) Los problemas correspondientes en #P se interesan en saber cuantos elementos satisfacen la pregunta en lugar de si existe algún elemento que la satisfaga.
I' ve dispatched a ship to transport the prisoner back to Lunar VWikiMatrix WikiMatrix
Estas posibles coloraciones se redujeron lógica y algorítmicamente a alrededor de un trillón de (aún altamente complejos) casos, y se examinaron utilizando un resolucionador de problemas de satisfacibilidad booleana.
this should include the opportunity to purchase planting rights, to fund the reserve and to sell planting rights from the reserveWikiMatrix WikiMatrix
El Problema de satisfacibilidad booleana (SAT), el Satisfiability Modulo Theories (SMT) y answer set programming (ASP) pueden ser a grandes rasgos modelados como una forma de problema de satisfacción de restricciones.
I should' ve been on my way to airport ten minutes agoWikiMatrix WikiMatrix
En otras palabras, dada una instancia del problema de satisfacibilidad booleana (SAT) en el que alguna de las variables binarias se reemplazan por predicados sobre un conjunto adecuado de variables no binarias.
The check indicates all systems are go at this timeWikiMatrix WikiMatrix
Cook encontró varios problemas NP completos, incluido SAT, el problema de la satisfacibilidad booleana.
Mum, what' s wrong?Literature Literature
Cook encontró varios problemas NP-completos, incluido SAT, el problema de la satisfacibilidad booleana.
I can' t clean myselfLiterature Literature
Por ejemplo, el problema de satisfacibilidad booleana puede reducirse al problema de parada transformándolo en la descripción de una máquina de Turing que prueba todos los valores de las variables; cuando encuentra una combinación que satisface la fórmula se detiene y en caso contrario reintenta desde el principio, quedándose en un lazo infinito.
Examination of products exported with entitlement to duty-free replacement of goodsWikiMatrix WikiMatrix
Por tanto, F es satisfacible. 2 El problema de la satisfacibilidad es: Dada una expresión booleana, ¿es satisfacible?
Yeah, but that' s not a surpriseLiterature Literature
Por ejemplo, se puede demostrar que el problema 3-SAT (problema de satisfacibilidad de expresiones booleanas en forma normal conjuntiva con tres variables o negaciones de variables por cláusula) es NP-Completo mostrando cómo reducir cualquier instancia de SAT en una instancia equivalente de 3-SAT.
Everything brand- newWikiMatrix WikiMatrix
El Problema de satisfacibilidad booleana (SAT) es NP-completo.
He confessed to itParaCrawl Corpus ParaCrawl Corpus
Problema de satisfacibilidad booleana (SAT)
You use that, and you don' t need meParaCrawl Corpus ParaCrawl Corpus
En informática, Putnam es conocido por el algoritmo de Davis-Putnam para el problema de satisfacibilidad booleana (SAT), desarrollado con Martin Davis en 1960.
The results of this review indicate that, in the light of economic and monetary trends in the Community, an increase in the amounts expressed in euro is necessaryParaCrawl Corpus ParaCrawl Corpus
En informática, Putnam es conocido por el algoritmo de Davis-Putnam para el problema de satisfacibilidad booleana (SAT), desarrollado con Martin Davis en 1960.
You think them small?ParaCrawl Corpus ParaCrawl Corpus
Desarrolló, junto con Martin Davis, el algoritmo de Davis-Putnam para el problema de satisfacibilidad booleana,[11] y ayudó a demostrar la irresolubilidad del décimo problema de Hilbert.
So far, maybe he ain' t triedParaCrawl Corpus ParaCrawl Corpus
El Teorema de Cook demuestra que el problema de satisfacibilidad booleana es un problema NP-completo. En 1972, Richard Karp demostró que otros problemas eran también NP-completos (ver Lista de 21 problemas NP-completos de Karp).
What' s the meaning of this, Oka- chan?!ParaCrawl Corpus ParaCrawl Corpus
El primer problema natural que se demostró ser NP-completo fue el Problema booleano de satisfacibilidad.
• SAUVAGEAU, Florian, "Un code de déontologie pour la presse : difficulté d'élaboration et d'application," (1978) 2 Communication Information no.ParaCrawl Corpus ParaCrawl Corpus
Desarrolló, junto con Martin Davis, el algoritmo de Davis-Putnam para el problema de satisfacibilidad booleana,[11] y ayudó a demostrar la irresolubilidad del décimo problema de Hilbert.[12] El filósofo fue en ciertos períodos una polémica figura política, especialmente por su relación con el Partido Laboral publicación del Partido Comunista de los Estados Unidos.
Observations can be sent to the Commission by fax ((#-#) # # # or # # #) or by post, under reference number COMP/M.#- Accor/Dorint, to the following addressParaCrawl Corpus ParaCrawl Corpus
El primer problema natural que se demostró ser NP-completo fue el Problema booleano de satisfacibilidad.
The guests and some staff left yesterday, but the...... last day' s always hecticParaCrawl Corpus ParaCrawl Corpus
El proyecto de investigación de Levis Zerpa, Ph.D., se enfoca en uno de los problemas abiertos más intensamente estudiados de las ciencias computacionales: el problema de la SATisfacibilidad proposicional (también satisfacibilidad booleana o Propositional Satisfiability).
Let me talk to ChaseParaCrawl Corpus ParaCrawl Corpus
20 sinne gevind in 14 ms. Hulle kom uit baie bronne en word nie nagegaan nie.