Search the dblp DataBase

Publications of Author

1. Walter Oberschelp, Alexander Hornung, Horst Samulowitz
   Visualization of Eclipses and Planetary Conjunction Events: The Interplay between Model Coherence, Scaling and Animation. [Citation Graph (0, 0)][DBLP]
   Computer Graphics International, 2000, pp:81-0 [Conf]
   
2. Horst Samulowitz, Fahiem Bacchus
   Using SAT in QBF. [Citation Graph (0, 0)][DBLP]
   CP, 2005, pp:578-592 [Conf]
   
3. Horst Samulowitz, Jessica Davies, Fahiem Bacchus
   Preprocessing QBF. [Citation Graph (0, 0)][DBLP]
   CP, 2006, pp:514-529 [Conf]
   
4. Lucas Bordeaux, Horst Samulowitz
   On the stochastic constraint satisfaction framework. [Citation Graph (0, 0)][DBLP]
   SAC, 2007, pp:316-320 [Conf]
   
5. Horst Samulowitz, Fahiem Bacchus
   Binary Clause Reasoning in QBF. [Citation Graph (0, 0)][DBLP]
   SAT, 2006, pp:353-367 [Conf]
   
6. Walter Oberschelp, Alexander Hornung, Horst Samulowitz
   Visualization of eclipses and planetary conjunction events. The interplay between model coherence, scaling and animation. [Citation Graph (0, 0)][DBLP]
   The Visual Computer, 2001, v:17, n:5, pp:310-317 [Journal]
   
7. Horst Samulowitz, Roland Memisevic
   Learning to Solve QBF. [Citation Graph (0, 0)][DBLP]
   AAAI, 2007, pp:255-260 [Conf]
   
8. Horst Samulowitz, Fahiem Bacchus
   Dynamically Partitioning for Solving QBF. [Citation Graph (0, 0)][DBLP]
   SAT, 2007, pp:215-229 [Conf]
   
9. 
   Collaborative Expert Portfolio Management. [Citation Graph (, )][DBLP]
   
   
10. 
    Experiments with Massively Parallel Constraint Solving. [Citation Graph (, )][DBLP]