Me gustaría saber a dónde puedo recurrir para una buena y amable introducción a k-SAT (esto puede ser para matemáticos que pueden no tener una buena formación en informática). También me gustaría conocer documentos que tal vez examinen o expliquen los métodos actuales utilizados para resolver k-SAT. Finalmente, estoy interesado en los métodos más conocidos para resolver k-SAT. Me gustaría tener una idea del mejor caso promedio y el mejor comportamiento en el peor de los casos.
En resumen, estoy buscando documentos que ayuden a alguien en matemáticas (no en informática) a convertirse en un experto en k-SAT.
reference-request
sat
survey
Matt Groff
fuente
fuente
Respuestas:
Del hilo de referencia de la Nota de la Conferencia, tenemos este documento .
fuente
Este libro de encuestas, Problema de satisfacción: teoría y aplicaciones , es apropiado para presentar k-SAT a los matemáticos. No es un recurso muy reciente pero aún muy valioso.
fuente