AFellner/Thesis
Documents of my Master Thesis about Space & Congruence compression of proofs
Developer Profile
AFellner
Discovered public repositories for AFellner in the GitHub catalog.
AFellner/Awesome-Time-Tabling
Time Tabling using the QF_UFLIA logic and SMT solver Yices
AFellner/PerfectRef
Project for Knowledge Representation and Ontologies. Implements the perfect reformulation algorithm for querying DL ontologies.
AFellner/RandomZ3
little program generating random formulae in SMT2 format as well as in DIMACS. They are fed to the z3 SMT Solver and the output is printed
AFellner/Proofenumerator
This program enumerates all proofs for an arbiatrary propositional logic calculus up to a specified proof length.
AFellner/MatrixCNF
This program will convert propositional formulae of a given JSON input format into an equisatisfiable conjunctive normal form. There are three different algorithms implemented to do the conversion. One of them uses paths through matrices.
AFellner/Skeptik
A library for Proof Theory (especially Proof Compression) in Scala.