Items where Subject is "68-XX Computer science > 68Txx Artificial intelligence > 68T20 Problem solving (heuristics, search strategies, etc.)"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Authors | Item Type
Jump to: B | S
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.

This list was generated on Mon Nov 28 15:38:21 2022 CET.