Vol-3184⫷ Vol-3185 ⫸Vol-3186
urn:nbn:de:0074-3185-0


Vol-3185/extended9913⫷Vol-3185/abstract697⫸Vol-3185/presentation9530
Chad E. BrownCezary KaliszykMikolás Janota

Abstract: Challenges and Solutions for Higher-Order SMT Proofs