Jordina Francès de Mas

According to our database, Jordina Francès de Mas authored at least 3 papers between 2023 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

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

Jordina Francès de Mas, Juliana Bowles

CoRR, 2024

Binary Implication Hypergraphs for the Representation and Simplification of Propositional Formulae.

Jordina Francès de Mas

Proceedings of the Logic-Based Program Synthesis and Transformation, 2024

2023

A Novel EGs-Based Framework for Systematic Propositional-Formula Simplification.

Jordina Francès de Mas, Juliana Bowles

Proceedings of the Logic-Based Program Synthesis and Transformation, 2023