swMATH21969MaRDI QIDQ33768FDOQ33768
Author name not available (Why is that?)
Official website: https://link.springer.com/chapter/10.1007%2F978-3-319-66263-3_29
Cited In (34)
- Nusschecker
- Efficient verified (UN)SAT certificate checking
- Formalization of the resolution calculus for first-order logic
- Fast machine words in Isabelle/HOL
- Title not available (Why is that?)
- Title not available (Why is that?)
- 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
- 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
