GRAT
From MaRDI portal
Cited in
(34)- Bosphorus
- AMulet
- Goeland
- FRAT
- Formalization of the resolution calculus for first-order logic
- Fast machine words in Isabelle/HOL
- Autoref
- DRAT-trim
- libclang
- HOL-TestGen
- LRAT
- GRATchk
- multi2boolean
- Edmonds-Karp
- Superposition Calculus
- Paraconsistency
- Abstract Completeness
- FOL Fitting
- Incompleteness Theorems
- CAVA LTL Modelchecker
- Abstract Soundness
- Incredible Proof Machine
- Propositional Resolution
- Knuth Morris Pratt
- petBoss
- Cytoscape.js
- IEEE_Floating_Point
- Local negative circuits and cyclic attractors in Boolean networks with at most five components
- A flexible proof format for SAT solver-elaborator communication
- PolyCleaner
- scientific article; zbMATH DE number 7649971 (Why is no real title available?)
- Efficient verified (UN)SAT certificate checking
- Nusschecker
- Pacheck
This page was built for software: GRAT
