Solving SAT in Linear Time with a Neural-Like Membrane System.

Juan Pazos, Alfonso Rodrguez-Patn, Andrs Silva

Browse the full IWANN paper archive.