Words Like Jared es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 1 resp
¿Puede reducirse "directamente" una cláusula de satisfacción booleana 3-SAT a un problema 2-SAT?
el 5 de Mayo, 2020 2 votos
Últimas Respuestas
- 0 votos
¿Por qué no es 'porque' un conectivo lógico en la lógica proposicional?
el 13 de Noviembre, 2018 0 votos
Etiquetas favoritas
- 1 x lógica
- 1 x lógica-proposicional
- 1 x logic
- 1 x np-complete
- 1 x satisfiability