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