Published March 15, 2019
| Version nfm-2019-nocomments
Software
Open
Formalization of CNF SAT Symmetry Breaking in PVS
Description
PVS specification and proof file of a formalization of Crawford's CNF SAT symmetry breaking idea.
Files
Files
(842.7 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:6905142ad652953c5bc0e2a7e8fe1c24
|
830.5 kB | Download |
|
md5:1973edebae91284d8ba052bbdd552120
|
12.2 kB | Download |