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.
1
Hay algunas buenas respuestas sobre k-SAT en el sitio: notas de clase , límites superior e inferior , con muchos enlaces dentro. Intenta buscar la etiqueta sat también.
—
Hsien-Chih Chang 張顯 之