Essays about: "Automated Theorem Proving - Resolution vs. Tableaux"
Found 1 essay containing the words Automated Theorem Proving - Resolution vs. Tableaux.
-
1. Automated Theorem Proving : Resolution vs. Tableaux
University essay from Blekinge Tekniska Högskola/Institutionen för programvaruteknik och datavetenskapAbstract : The purpose of this master thesis was to investigate which of the two methods, resolution and tableaux, that is the most appropriate for automated theorem proving. This was done by implementing an automated theorem prover, comparing and documenting implementation problems, and measuring proving efficiency. READ MORE
Result pages:
1