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

Author: Olof Lindroth; Uppsala Universitet; []

Keywords: NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; Mathematical logic; Matematisk logik;

Abstract:

This dissertation MIGHT be available in PDF-format. Check this page to see if it is available for download.