Welcome！[Sign In] ！[Sign Up]！
Front-page it | Collect it | [中国-简体中文]
FAQ Fav
Location:
Downloads SourceCode Windows Develop
Title: 25d1216103960-2-cnf-sat_c-2cnf Download
 Description: 2cnf-sat problems using c++ Achieve graphical solution
 Downloaders recently: [More information of uploader cyksrtp]
 To Search:
  • [2SAT] - given for the 2-CNF, design a linear-tim
  • [Graph2vertexpathproblem] - Test graph-based depth-first search stra
  • [sat] - satisfiability problem(SAT) MPI,NP PROBL
File list (Check if you may need any files): 
main.cpp
readtwocnf.cpp
readtwocnf.hpp
twocnf.cpp
twocnf.hpp

CodeBus www.codebus.net