NRCL - A Model Building Approach to the Bernays-Schönfinkel Fragment (Full Paper)

Gábor Alagi, Christoph Weidenbach

We combine constrained literals for model representation with key concepts from first-order superposition and propositional conflict-driven clause learning (CDCL) to create the new…