検索結果 1 件
紙デジタル博士論文障害者向け資料あり
インターネットで読める国立国会図書館
- 目次・記事Abstract Contents 1 I......roduction 2 Performance Test of Local Search Algorithms 2.1 I......troduction 2.2 Local Search Strategies 2.3 Random Formulas 2.4 Strength of Clause Weighting 2.5 Increasing Clause/Variable Ratio 2.6 Selecting an Initial Cell 2.7 Concluding Remarks 3 A New Strategy:Adding New Clauses 3.1 Introduction 3.2 Adding New Clauses 3.3 Why and How ANC Works 3.4 Implementation Techniques...... Concluding Remarks 4 Local Search Algorithms for Partial MAXSAT 4.1 Introduct.......2 Why Simple MAXSAT Does Not Work 4.3 Partial MAXSAT 4.4 Solving Partial MAXSAT Using Local Search 4.5 Experiment...... Concluding Remarks 5 Conclusion 5.1 Summary o...
- 並列タイトル等（連結）CNF命題論理式の充足可能性問題に対する局所探索法の研究
- 並列タイトル等CNF命題論理式の充足可能性問題に対する局所探索法の研究
検索結果は以上です。