Resolución de problemas 3SAT utilizando redes neuronales - Kavka, Carlos (WICC 2002 [CD-ROM])