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