A Comparison of Different Techniques for Grounding Near-Propositional CNF Formulae.

Stephan Schulz

Browse the full FlAIRS paper archive.