Welcome![Sign In][Sign Up]
Location:
Downloads SourceCode Windows Develop
Title: 2-SAT Download
 Description: 2CNF of a study to identify an algorithm that can determine in polynomial time, any given 2 CNF formula is to meet.
 Downloaders recently: [More information of uploader ncz198601]
 To Search:
  • [CNF_SAT] - this algorithm in polynomial time as a j
File list (Check if you may need any files):
2-SAT\SAT2\SAT2.sln
.....\....\SAT2.suo
.....\....\....\ReadMe.txt
.....\....\....\SAT2.vcproj
.....\....\....\SAT2.vcproj.PC-200912082359.Administrator.user
.....\....\....\SAT2.vcproj.牛传正.Administrator.user
.....\....\....\stdafx.cpp
.....\....\....\stdafx.h
.....\....\....\targetver.h
.....\....\....\Debug\BuildLog.htm
.....\....\....\.....\mt.dep
.....\....\....\.....\SAT2.exe.embed.manifest
.....\....\....\.....\SAT2.exe.embed.manifest.res
.....\....\....\.....\SAT2.exe.intermediate.manifest
.....\....\....\.....\SAT2.pch
.....\....\....\.....\stdafx.obj
.....\....\....\.....\vc90.idb
.....\....\....\.....\vc90.pdb
.....\....\....\.....\SAT2.obj
.....\....\....\SAT2.cpp
.....\....\Debug\SAT2.pdb
.....\....\SAT2.ncb
.....\算法设计说明.doc
.....\SAT2\SAT2\Debug
.....\....\SAT2
.....\....\Debug
.....\SAT2
2-SAT
    

CodeBus www.codebus.net