A novel framework for systematic propositional formula simplification based on existential graphs

Jordina Francès de Mas^*, Juliana Bowles

^*Corresponding author for this work

School of Computer Science

Research output: Contribution to journal › Article › peer-review

1 results
- Title(ascending)
- Award date

Equivalence-preserving preprocessing of propositional logic formulae using existential graphs and implication hypergraphs
Francès de Mas, J. (Author), Kuster Filipe Bowles, J. (Supervisor), 12 Jun 2024
Student thesis: Doctoral Thesis (PhD)