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

Jordina Francès de Mas Juliana Bowles

Published in: LOPSTR (2023)

Keyphrases

database
linear programming
search space