Jordina Francès de Mas

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 2

Top Topics

Linear Programming

Top Venues

Publications

Jordina Francès de Mas, Juliana Bowles
A novel framework for systematic propositional formula simplification based on existential graphs. CoRR (2024)
Jordina Francès de Mas, Juliana Bowles
A Novel EGs-Based Framework for Systematic Propositional-Formula Simplification. LOPSTR (2023)