Preguntas de satisfacibilidad

Puntuación Visitas Fecha
Foto de perfil de Gregory Nisbet

10

3Resp
612Vistas

¿Por qué Skolemming no conserva la validez?

Resuelta
Preguntado el 7 de Octubre, 2018 por Gregory Nisbet
Etiquetas :
Imagen de perfil de MatthieuP

6

2Resp
323Vistas

¿Pueden resolverse instancias de SAT mediante autómatas celulares?

Abierta
Preguntado el 17 de Marzo, 2013 por MatthieuP
Etiquetas :
Imagen de perfil de Jozef

7

1Resp
219Vistas

¿Decidir un problema: es en $NP$, $NPC$ o $P$?

Resuelta
Preguntado el 10 de Julio, 2012 por Jozef
Etiquetas :
Imagen de perfil de simmons

5

2Resp
238Vistas

Algoritmo de las Vegas para satisfacer la mayoría de las cláusulas en SAT

Resuelta
Preguntado el 5 de Noviembre, 2014 por simmons
Etiquetas :
Foto de perfil de willbradley

3

2Resp
163Vistas

¿Definición de un modelo?

Resuelta
Preguntado el 26 de Marzo, 2017 por willbradley
Etiquetas :
Foto de perfil de Michael Hardy

3

2Resp
149Vistas

SAT y pruebas en lógica proposicional

Abierta
Preguntado el 29 de Septiembre, 2016 por Michael Hardy
Etiquetas :
Foto de perfil de JPT

4

1Resp
252Vistas

Conecta 4 - SAT

Abierta
Preguntado el 7 de Marzo, 2012 por JPT
Etiquetas :

Etiquetas mas usadas

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

Yandex
X