Pages that link to "Item:Q5200019"
From MaRDI portal
The following pages link to Extending Sledgehammer with SMT Solvers (Q5200019):
Displaying 27 items.
- Sledgehammer (Q19106) (← links)
- Mechanizing a process algebra for network protocols (Q287372) (← links)
- A heuristic prover for real inequalities (Q287379) (← links)
- An algebraic approach to computations with progress (Q299188) (← links)
- Learning-assisted theorem proving with millions of lemmas (Q485842) (← links)
- An algebraic approach to multirelations and their properties (Q516032) (← links)
- Algebras for iteration and infinite computations (Q715050) (← links)
- Conflict-driven satisfiability for theory combination: lemmas, modules, and proofs (Q832719) (← links)
- An algebraic framework for minimum spanning tree problems (Q1786562) (← links)
- Verifying minimum spanning tree algorithms with Stone relation algebras (Q1994364) (← links)
- Reliable reconstruction of fine-grained proofs in a proof assistant (Q2055877) (← links)
- Infinite executions of lazy and strict computations (Q2347906) (← links)
- Extending Sledgehammer with SMT solvers (Q2351158) (← links)
- Learning-assisted automated reasoning with \(\mathsf{Flyspeck}\) (Q2351415) (← links)
- Random Forests for Premise Selection (Q2964471) (← links)
- An Axiomatic Value Model for Isabelle/UTP (Q2971180) (← links)
- Reasoning about Constants in Nominal Isabelle or How to Formalize the Second Fixed Point Theorem (Q3100205) (← links)
- Reconstruction of Z3’s Bit-Vector Proofs in HOL4 and Isabelle/HOL (Q3100212) (← links)
- Automatic Proof and Disproof in Isabelle/HOL (Q3172879) (← links)
- Relation-Algebraic Verification of Prim’s Minimum Spanning Tree Algorithm (Q3179390) (← links)
- Constraint solving for finite model finding in SMT solvers (Q4593094) (← links)
- Reasoning About Algebraic Structures with Implicit Carriers in Isabelle/HOL (Q5049005) (← links)
- A Hierarchy of Algebras for Boolean Subsets (Q5098719) (← links)
- Programming and verifying a declarative first-order prover in Isabelle/HOL (Q5145439) (← links)
- Stone Relation Algebras (Q5283207) (← links)
- A proof system for graph (non)-isomorphism verification (Q5883756) (← links)
- (Q6060676) (← links)