Efficiently Grounding FOL Using Bit Vectors.

Lucas Van Laer, Simon Vandevelde, Joost Vennekens

Browse the full LPNMR paper archive.