Preguntas etiquetadas con heuristics

3
Medir la dificultad de las instancias SAT
Dada una instancia de SAT, me gustaría poder estimar lo difícil que será resolver la instancia. Una forma es ejecutar solucionadores existentes, pero ese tipo de derrota el propósito de estimar la dificultad. Una segunda forma podría ser buscar la relación de cláusulas a variables, como se hace para las …






Al usar nuestro sitio, usted reconoce que ha leído y comprende nuestra Política de Cookies y Política de Privacidad.
Licensed under cc by-sa 3.0 with attribution required.