Solving the Minimum Number of Open Stacks Problem with Explanation-based Techniques
暂无分享,去创建一个
[1] Thomas Schiex,et al. Nogood Recording for Static and Dynamic Constraint Satisfaction Problems , 1994, Int. J. Artif. Intell. Tools.
[2] David Thomas,et al. The Art in Computer Programming , 2001 .
[3] Patrick Prosser,et al. MAC-CBJ: maintaining arc consistency with conflict-directed backjumping , 1995 .
[4] Ulrich Junker. Conflict Detection for Arbitrary Constraint Propagation Algorithms , 2001 .
[5] Sharad Malik,et al. Chaff: engineering an efficient SAT solver , 2001, Proceedings of the 38th Design Automation Conference (IEEE Cat. No.01CH37232).
[6] Matthew L. Ginsberg,et al. Dynamic Backtracking , 1993, J. Artif. Intell. Res..
[7] Narendra Jussien,et al. Local search with constraint propagation and conflict-based heuristics , 2000, Artif. Intell..
[8] Donald E. Knuth,et al. Sorting and Searching , 1973 .
[9] José Carlos Becceneri,et al. A method for solving the minimization of the maximum number of open stacks problem within a cutting process , 2004, Comput. Oper. Res..
[10] Peter J. Stuckey,et al. Dynamic Programming to Minimize the Maximum Number of Open Stacks , 2007, INFORMS J. Comput..
[11] N. J.L.deSiqueira,et al. Explanation-Based Generalisation of Failures , 1988, ECAI.
[12] Fahiem Bacchus,et al. Generalized NoGoods in CSPs , 2005, AAAI.
[13] Thomas Schiex,et al. Nogood Recording for static and dynamic constraint satisfaction problems , 1993, Proceedings of 1993 IEEE Conference on Tools with Al (TAI-93).