此算法能在多項式時間里判定任一給定的2CNF公式是否可滿足。是算法中的一個重要問題。
標簽: 2CNF 算法 多項式
上傳時間: 2015-11-07
上傳用戶:cccole0605
剛根據蟻群算法文檔編寫的蟻群算法的程序,希望對大家有幫助。
標簽: 蟻群算法 文檔 編寫 程序
上傳用戶:924484786
銀行代發薪資管理系統,本代碼總覺得從哪里見過.但就是一時想不起來了,算了,不關我的事,呵呵.做此方面軟件的朋友可以拿去借鑒
標簽: 管理系統 代碼 方面 軟件
上傳用戶:www240697738
lotus數據庫例子,里有有十題題型,都是關于一些LOTUS公式的例子,里有有公式代碼
標簽: lotus LOTUS 數據庫 代碼
上傳時間: 2014-01-08
上傳用戶:dsgkjgkjg
visual basic 函數大全-速查手冊
標簽: visual basic 函數 速查手冊
上傳時間: 2013-12-21
上傳用戶:270189020
速動畫教程第十八集 SSH框架的構建 此過程將包括以下幾個框架 Struts 、Spring 、Hibernate 、Tiles 、validator 工具:Eclipse3.1 、MyEclipse4.1.1、Poperties Editor插件
標簽: Hibernate validator Eclipse Struts
上傳時間: 2015-11-10
上傳用戶:yzhl1988
速動畫教程第十七集 jsf + spring + hibernate 開發示例 以下是用例圖,用戶可以進行以下操作:登錄、瀏覽、注冊、修改、刪除、退出
標簽: hibernate spring jsf 動畫
上傳時間: 2013-11-30
上傳用戶:杜瑩12345
速動畫教程第十六集 使用Eclipse + MyEclipse開發Web Service的示例! 請先下載Axis的文件包 下載地址:http://ws.Apache.org/Axis
標簽: Axis MyEclipse Eclipse Service
上傳時間: 2013-12-25
上傳用戶:cmc_68289287
調速 高壓電機的應用 可提高功率因數和電機的效力
標簽: 調速 電機 高壓電機 高功率因數
上傳用戶:標點符號
計算gumbul極值的一段程序,沒有附帶算例,因為太簡單了
標簽: gumbul 計算 程序
上傳用戶:日光微瀾
蟲蟲下載站版權所有 京ICP備2021023401號-1