output
20052026
most citedAn Improved upper limit on the decay K^+ -> pi^+ mu^+ e^-

41 citations

researchers with a paper here
collaborating institutions
Showing 2013 · cs.LOShow all

1 paper · 2 filters

cs.LO2013★ 14 cited

Resolution Proof Transformation for Compression and Interpolation

S. F. Rollini, R. Bruttomesso, N. Sharygina +1

Verification methods based on SAT, SMT, and Theorem Proving often rely on proofs of unsatisfiability as a powerful tool to extract information in order to reduce the overall effort…