A random formula lower bound for ordered DLL extended with local symmetry recognition

Författare: Olof Lindroth; Uppsala Universitet.; Uppsala Universitet.; [2004]

Nyckelord: Natural Sciences Mathematics Algebra and Logic; Naturvetenskap Matematik Algebra och logik; MATHEMATICS Algebra; geometry and mathematical analysis Mathematical logic; MATEMATIK Algebra; geometri och analys Matematisk logik;

Sammanfattning:

Denna avhandling är EVENTUELLT nedladdningsbar som PDF. Kolla denna länk för att se om den går att ladda ner.