Pinned Repositories
HRP-C
for guaduate, 1, pure SLS
SATLC
SATLike3.0-HFCRP-F
Fabricate SATLike3.0 with "hard random propagate" and "feadback" scheme. For learning local search method towards MaxSAT solving.
what2eat
食谱编制程序摆烂开发ing...
whyte-yhy
Config files for my GitHub profile.
whyte-yhy.github.io
whyte-yhy's Repositories
whyte-yhy/HRP-C
for guaduate, 1, pure SLS
whyte-yhy/SATLC
whyte-yhy/SATLike3.0-HFCRP-F
Fabricate SATLike3.0 with "hard random propagate" and "feadback" scheme. For learning local search method towards MaxSAT solving.
whyte-yhy/what2eat
食谱编制程序摆烂开发ing...
whyte-yhy/whyte-yhy
Config files for my GitHub profile.
whyte-yhy/whyte-yhy.github.io