A Proof-Sensitive Approach for Small Propositional Interpolants.

Leonardo Alt Grigory Fedyukovich Antti E. J. Hyvärinen Natasha Sharygina

Published in: VSTTE (2015)

Keyphrases

small number
first order logic
theorem proving
genetic algorithm
small size
proof procedure
complete axiomatization