http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
Unifying Logical and Statistical
Domingos, P.; Kok, S.; Poon, H.; Richardson, M.; Singla, P. Menlo Park, CA; Cambridge, MA; London; AAAI Press; MIT Press; 1999 2006 p.2-7
The Impact of Balancing on Problem Hardness in a Highly Structured Domain
Ansotegui, C.; Bejar, R.; Fernandez, C.; Gomes, C.; Mateu, C. Menlo Park, CA; Cambridge, MA; London; AAAI Press; MIT Press; 1999 2006 p.10-15
Abstract Branching for Quantified Formulas
Benedetti, M. Menlo Park, CA; Cambridge, MA; London; AAAI Press; MIT Press; 1999 2006 p.16-21
Exploiting Tree Decomposition and Soft Local Consistency in Weighted CSP
de Givry, S.; Schiex, T.; Verfaillie, G. Menlo Park, CA; Cambridge, MA; London; AAAI Press; MIT Press; 1999 2006 p.22-27
Extending Dynamic Backtracking to Solve Weighted Conditional CSPs
Effinger, R. T.; Williams, B. C. Menlo Park, CA; Cambridge, MA; London; AAAI Press; MIT Press; 1999 2006 p.28-35
DNNF-based Belief State Estimation
Elliott, P.; Williams, B. Menlo Park, CA; Cambridge, MA; London; AAAI Press; MIT Press; 1999 2006 p.36-41
Fargier, H.; Marquis, P. Menlo Park, CA; Cambridge, MA; London; AAAI Press; MIT Press; 1999 2006 p.42-47
Length-Lex Ordering for Set CSPs
Gervet, C.; van Hentenryck, P. Menlo Park, CA; Cambridge, MA; London; AAAI Press; MIT Press; 1999 2006 p.48-53
Model Counting: A New Strategy for Obtaining Good Bounds
Gomes, C. P.; Sabharwal, A.; Selman, B. Menlo Park, CA; Cambridge, MA; London; AAAI Press; MIT Press; 1999 2006 p.54-61
A BDD-Based Polytime Algorithm for Cost-Bounded Interactive Configuration
Hadzic, T.; Andersen, H. R. Menlo Park, CA; Cambridge, MA; London; AAAI Press; MIT Press; 1999 2006 p.62-67