cake_lpr

MaRDI QIDQ1354216swMATHFDO

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)

• SBSAT
• versat
• SipHash
• Skeptik
• DRAT-trim
• GRAT
• GRATchk
• PaInleSS
• OEuf
• Cytoscape.js
• CaDiCaL
• scientific article; zbMATH DE number 7566059 (Why is no real title available?)
• PaSAT
• Kissat
• Paracooba
• TBUDDY
• PReLearn
• FRAT
• SLIME
• SaDiCaL
• SAT competition 2020

This page was built for software: cake_lpr