cake_lpr

swMATH41080MaRDI QIDQ1354216FDOQ1354216

Author name not available (Why is that?)

Official website: https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7984575/

Source code repository: https://github.com/tanyongkiam/cake_lpr

Described by source

• \texttt{cake\_lpr}: verified propagation redundancy checking in CakeML

Cited In (21)

• TBUDDY
• Kissat
• Paracooba
• Title not available (Why is that?)
• SBSAT
• versat
• SipHash
• Skeptik
• DRAT-trim
• GRAT
• GRATchk
• PaInleSS
• OEuf
• Cytoscape.js
• CaDiCaL
• SaDiCaL
• PaSAT
• PReLearn
• FRAT
• SLIME
• SAT competition 2020

This page was built for software: cake_lpr