Evolving a Neural Net-Based Decision and Search Heuristic for DPLL SAT Solvers.

Raihan H. Kibria

Browse the full IJCNN paper archive.