- Title
- An Average Case Analysis of the Branching Algorithm for Solving k-Satisfiability Problems
- Creators - without role
- Ying-The TsaiChuan-Yi Tang - 國立清華大學電機資訊學院資訊工程學系
- Publication Details
- CATS, pp.137-150
- Identifiers
- 9957771705206774
- Academic Unit
- National Tsing Hua University
- Language
- Traditional Chinese
- Resource Type
- Conference paper
Conference paper
An Average Case Analysis of the Branching Algorithm for Solving k-Satisfiability Problems
CATS, pp.137-150
2009
Related links
Metrics
1 Record Views