There is a newer version of the record available.

Published March 15, 2019 | Version nfm-2019
Software Open

Formalization of CNF SAT Symmetry Breaking in PVS

Authors/Creators

  • 1. Rochester Institute of Technology

Description

PVS specification and proof file of a formalization of Crawford's CNF SAT symmetry breaking idea.

Files

Files (844.9 kB)

Name Size Download all
md5:55331bbcb78596b482626b659b525ef3
831.4 kB Download
md5:ae677295397560d8db140ceca2b6a135
13.4 kB Download