Parallel Heuristic Search in Haskell

by Michelle Cope , Ian Gent , Kevin Hammond
Citations:1 - 0 self

Active Bibliography

721 A New Method for Solving Hard Satisfiability Problems – Bart Selman, Hector Levesque, David Mitchell - 1992
1295 Chaff: Engineering an Efficient SAT Solver – Matthew W. Moskewicz , Conor F. Madigan, Ying Zhao, Lintao Zhang, Sharad Malik - 2001
921 Adaptive Constraint Satisfaction – J. E. Borrett, E. P. K. Tsang, N. R. Walsh - 1996
865 Symbolic Model Checking without BDDs – Armin Biere , Alessandro Cimatti, Edmund Clarke, Yunshan Zhu - 1999
385 GSAT and Dynamic Backtracking – Matthew L. Ginsberg, David A. McAllester - 1994
783 The FF planning system: Fast plan generation through heuristic search – Jörg Hoffmann, Bernhard Nebel - 2001
593 GREEDY RANDOMIZED ADAPTIVE SEARCH PROCEDURES – Mauricio G. C. Resende , Celso C. Ribeiro - 2002
670 Solving multiclass learning problems via error-correcting output codes – Thomas G. Dietterich, Ghulum Bakiri - 1995
951 The complexity of theorem-proving procedures – Stephen A. Cook - 1971