Pith. sign in

In Jean-Pierre Jouannaud & Zhong Shao, editors: CPP 2011, LNCS 7086, Springer, pp

Micha¨el Armand, Germain Faure, Benjamin Gr ´egoire, Chantal Keller, Laurent Th ´ery & Benjamin Werner ( · 2011 · Lecture notes in computer science · DOI 10.1007/978-3-642-25379-9

1 Pith paper cite this work, alongside 7 external citations. Polarity classification is still indexing.

1 Pith paper citing it
7 external citations · OpenAlex
open at publisher browse 1 citing papers

fields

cs.LO 1

years

2019 1

verdicts

CONDITIONAL 1

representative citing papers

Reconstructing veriT Proofs in Isabelle/HOL

cs.LO · 2019-08-26 · conditional · novelty 5.0

A reconstruction pipeline in Isabelle/HOL that replays veriT SMT proofs, with experiments showing the veriT-powered smt tactic is frequently the fastest Sledgehammer suggestion.

citing papers explorer

Showing 1 of 1 citing paper.

  • Reconstructing veriT Proofs in Isabelle/HOL cs.LO · 2019-08-26 · conditional · none · ref 1

    A reconstruction pipeline in Isabelle/HOL that replays veriT SMT proofs, with experiments showing the veriT-powered smt tactic is frequently the fastest Sledgehammer suggestion.