Sign in
Jordina Francès de Mas
ORCID
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Linear Programming
Search Space
Top Venues
LOPSTR
</>
Publications
</>
Jordina Francès de Mas
,
Juliana Bowles
A Novel EGs-Based Framework for Systematic Propositional-Formula Simplification.
LOPSTR
(2023)