Pages that link to "Item:Q3224685"
From MaRDI portal
The following pages link to Formalization of Abstract State Transition Systems for SAT (Q3224685):
Displaying 4 items.
- A verified SAT solver framework with learn, forget, restart, and incrementality (Q1663234) (← links)
- Verifying the conversion into CNF in dafny (Q2148786) (← links)
- Functional Encryption for Inner Product with Full Function Privacy (Q2798775) (← links)
- A proof system for graph (non)-isomorphism verification (Q5883756) (← links)
