How Easy it is to Know How: An Upper Bound for the Satisfiability Problem.

Carlos Areces, Valentin Cassano, Pablo F. Castro, Raul Fervari, Andrs R. Saravia

Browse the full JELIA paper archive.