•	Alexander Hertel, "Applications of Games to Propositional Proof Complexity," Ph.D. thesis, Computer Science, University of Toronto, Toronto, Canada, May, 2008.

•	Stefan Porschen, "Structural and Computational Aspects of Restricted Boolean Formulas," Habilitation thesis, Computer Science, Universität zu Köln, Köln, Germany, June, 2007.

•	Anton Calin-doru, "Structure and Randomness of Satisfiability," Ph.D. thesis, Computer Science, University of Alberta, Edmonton, Canada, September, 2005.

•	David Mitchell, "The Resolution Complexity of Constraint Satisfaction," Ph.D. thesis, Computer Science, University of Toronto, Canada, November, 2001.

•	Philippe Luquet, "Partial Horn renaming and pure literals in CNF data," Ph.D. thesis, Computer Science, Université de Caen, France, June, 2000.

•	Joost Warners, "New Methods for Satisfiability Problems," Ph.D. thesis, Computer Science, University of Delft, Delft, The Netherlands, September, 1999.

•	Ondřej Čepek, "Structural Properties and Minimization of Horn Boolean Functions," Ph.D. thesis, RUTCOR, Rutgers University, Piscataway, New Jersey, May, 1995.

•	11th International Symposium on Artificial Intelligence and Mathematics, Ft. Lauderdale, Florida, January 6-8, 2010.

•	12th International Symposium on the Theory and Applications of Satisfiability Testing, Swansea, Wales, June 29-July 4, 2009.

•	6th workshop on Constraints in Formal Verification, Grenoble, France, June 26, 2009.

•	5th workshop on Constraints in Formal Verification, Sydney, Australia, August 10-11, 2008.

•	11th International Symposium on the Theory and Applications of Satisfiability Testing, Guangzhou, China, May 12-15, 2008.

•	Workshop on Satisfiability: Assessing the Progress, U.S. Department of Defense, Maritime Institute, Linthicum, Maryland, March 3-5, 2008.

•	10th International Symposium on the Theory and Applications of Satisfiability Testing, Lisbon, Portugal, May 28-31, 2007.

•	9th International Symposium on Artificial Intelligence and Mathematics, Ft. Lauderdale, Florida, January, 2006.

•	7th International Symposium on the Theory and Applications of Satisfiability Testing, Vancouver, Canada, May 10-13, 2004.

•	8th International Symposium on Artificial Intelligence and Mathematics, Ft. Lauderdale, Florida, January, 2004.

•	6th International Symposium on the Theory and Applications of Satisfiability Testing, Portofino, Italy, May 5-8, 2003.

•	5th International Symposium on the Theory and Applications of Satisfiability Testing, Cincinnati, Ohio, May 6-9, 2002.

•	7th International Symposium on Artificial Intelligence and Mathematics, Ft. Lauderdale, Florida, January, 2002.

•	3rd Workshop on the Satisfiability Problem, Renesse, The Netherlands, May, 2000.

•	6th International Symposium on Artificial Intelligence and Mathematics, Ft. Lauderdale, Florida, January, 2000.

•	2nd Workshop on the Satisfiability Problem, Schloß Eringerfeld, Germany, May, 1998.

•	5th International Symposium on Artificial Intelligence and Mathematics, Ft. Lauderdale, Florida, January, 1998.

•	Workshop on the Satisfiability Problem, Siena, Italy, May, 1996.

•	Workshop on Boolean Functions, Propositional Logic and AI Systems, Ulm, W. Germany, Summer, 1989.

•	Workshop on Satisfiability: Assessing the Progress, U.S. Department of Defense, Maritime Institute, Linthicum, Maryland, March 3-5, 2008.

•	5th International Symposium on the Theory and Applications of Satisfiability Testing, Cincinnati, Ohio, May 6-9, 2002.

•	3rd Workshop on the Satisfiability Problem, Renesse, The Netherlands, May, 2000.

•	2nd Workshop on the Satisfiability Problem, Schloß Eringerfeld, Germany, May, 1998.

•	Workshop on the Satisfiability Problem, Siena, Italy, May, 1996.

•	Workshop on Boolean Functions, Propositional Logic and AI Systems, Ulm, W. Germany, Summer, 1989.

•	International Symposium on the Theory and Applications of Satisfiability Testing.