Comparing Instance Generation Methods for Automated Reasoning - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Swen Jacobs, Uwe Waldmann. Comparing Instance Generation Methods for Automated Reasoning. In Bernhard Beckert, editor, Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings. Volume 3702 of Lecture Notes in Computer Science, pages 153-168, Springer, 2005. [doi]

The following publications are possibly variants of this publication:

Comparing Instance Generation Methods for Automated ReasoningSwen Jacobs, Uwe Waldmann. JAR, 38(1-3):57-78, 2007. [doi]

Incremental Instance Generation in Local ReasoningSwen Jacobs. cav 2009: 368-382 [doi]

runs on WebDSL