Search Input
Davis Putnam Algorithm