Welcome！[Sign In] ！[Sign Up]！
Front-page it | Collect it | [中国-简体中文]
FAQ Fav
Location:
Downloads SourceCode Mathimatics-Numerical algorithms Algorithm
Title: sat Download
 Description: For a given weighted 3-CNF, a Monte Carlo algorithm designed to make the right value, and as large as possible. This program can solve this problem
 Downloaders recently: [More information of uploader yiyuxinfu]
 To Search:
File list (Check if you may need any files): 
sat.cpp

CodeBus www.codebus.net