07/11/2026

Davies-Putnam algorithm