The Phase Transition of the Linear Inequalities Problem
暂无分享,去创建一个
[1] Barbara M. Smith,et al. The Arc and Path Consistency Phase Transitions , 1996, CP.
[2] Toby Walsh,et al. Scaling Effects in the CSP Phase Transition , 1995, CP.
[3] S Kirkpatrick,et al. Critical Behavior in the Satisfiability of Random Boolean Expressions , 1994, Science.
[4] Béla Bollobás,et al. The scaling window of the 2‐SAT transition , 1999, Random Struct. Algorithms.
[5] Thomas A. Henzinger,et al. HYTECH: A Model Checker for Hybrid Systems , 1997, CAV.
[6] Toby Walsh,et al. The Constrainedness of Search , 1996, AAAI/IAAI, Vol. 1.
[7] George B. Dantzig,et al. Linear programming and extensions , 1965 .
[8] Robert S. Boyer,et al. Integrating decision procedures into heuristic theorem provers: a case study of linear arithmetic , 1988 .
[9] Toby Walsh,et al. The Constrainedness of Arc Consistency , 1997, CP.
[10] Roland H. C. Yap,et al. The CLP( R ) language and system , 1992, TOPL.