Items where Subject is "68-XX Computer science > 68Txx Artificial intelligence > 68T20 Problem solving (heuristics, search strategies, etc.)"
 | Up a level |
- MSC Classification Numbers (643)
- 68-XX Computer science (260)
- 68Txx Artificial intelligence (13)
- 68T20 Problem solving (heuristics, search strategies, etc.) (2)
- 68Txx Artificial intelligence (13)
- 68-XX Computer science (260)
Number of items at this level: 2.
Böhm, Max and Speckenmeyer, Ewald
(1997)
Precomputation-based Load Balancing.
Published In:
Proceedings of the 4th Workshop on Parallel Systems & Algorithms, PASA '96 : Research Center Jülich, Germany, 10 - 12 April 1996 World Scientific 1997, pp. 177-194.
Speckenmeyer, Ewald and Böhm, Max and Heusch, Peter
(1997)
On the Imbalance of Distributions of Solutions of CNF-Formulas and its Impact on Satisfiability Solvers.
Published In:
Satisfiability problem : theory and applications ; DIMACS workshop March 11 - 13, 1996, DIMACS series in discrete mathematics and theoretical computer science. 35 American Math. Soc. 1997, pp. 669-676.
