yangjr100 / forhardsat Goto Github PK
View Code? Open in Web Editor NEWThe data and programs stored in this repository are to prove the authenticity and validity of the experiments of the algorithm mentioned in the paper which was sent to knowledge-based systems. So we just only put all programs and test data in a zip file. In the zip file,'SelectNS' is our solver which mentioned in the paper.
License: MIT License