New Evolutionary Approaches for SAT Solving.

Madalina Raschip, Cornelius Croitoru, Cristian Frasinaru

Browse the full ICTAI paper archive.