Stephan Schulz. A Comparison of Different Techniques for Grounding Near-Propositional CNF Formulae. In Susan M. Haller, Gene Simmons, editors, Proceedings of the Fifteenth International Florida Artificial Intelligence Research Society Conference, May 14-16, 2002, Pensacola Beach, Florida, USA. pages 72-76, AAAI Press, 2002.
Abstract is missing.