Home / Authors / Horst Samulowitz

On the Stochastic Constraint Satisfaction Framework L. Bordeaux, Horst Samulowitz. SAC 2007 (The 22nd Annual ACM Symposium on Applied Computing) 2007

Dynamically Partitioning for Solving QBF Horst Samulowitz, Fahiem Bacchus. Proceedings of the 10th International Conference on Theory and Applications of Satisfiability Testing (SAT-2007) 215-229 2007

Binary Clause Reasoning in QBF Horst Samulowitz, Fahiem Bacchus. Ninth International Conference on Theory and Applications of Satisfiability Testing (SAT 2006), Lecture Notes in Computer Science 2919 2006

QBF Solver SQBF Horst Samulowitz, Fahiem Bacchus. 2006

QBF Preprocessor Prequel Horst Samulowitz, J. Davies, Fahiem Bacchus. 2006

Binary Clause Reasoning in QBF Horst Samulowitz, Fahiem Bacchus. Proceedings of the 9th International Conference on Theory and Applications of Satisfiability Testing (SAT-2006) 353-367 2006

Preprocessing QBF Horst Samulowitz, Jessica Davies, Fahiem Bacchus. Proceedings of the 12th International Conference on Principles and Practice of Constraint Programming (CP-2006) 514-529 2006

QBF Solver 2clsQ Horst Samulowitz, Fahiem Bacchus. 2006

Using SAT in QBF Horst Samulowitz, Fahiem Bacchus. Proceedings of the 11th International Conference on Principles and Practice of Constraint Programming (CP-2005) 578-592 2005

Visualization of Eclipses and Planetary Conjunction Events: The Interplay between Model Coherence, Scaling and Animation Walter Oberschelp, Alexander Hornung, Horst Samulowitz. The Visual Computer 2001